Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen - Verification, Model Checking, and Abstract Interpretation
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen Verification, Model Checking, and Abstract Interpretation Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane
Catuscia Palamidessi - Logic Programming
Catuscia Palamidessi Logic Programming Inglese 19.02.2009 Tascabile Fr. 158.00 6-7 settimane
Paritosh K Pandya, Paritosh K. Pandya, Jaikumar Radhakrishnan - FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Paritosh K Pandya, Paritosh K. Pandya, Jaikumar Radhakrishnan FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Manfred Broy, Alexandre V. Zamulin - Perspectives of Systems Informatics
Manfred Broy, Alexandre V. Zamulin Perspectives of Systems Informatics Inglese 19.08.2005 Tascabile Fr. 70.00 6-7 settimane
Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Elie Najm, Uw Nestmann, Uwe Nestmann, Perdita Stevens - Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Uw Nestmann, Uwe Nestmann, Perdita Stevens Formal Methods for Open Object-Based Distributed Systems Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Vijay A. Saraswat - Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation
Vijay A. Saraswat Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Grady Booch, Perdita Stevens, Jon Whittle - UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
Grady Booch, Perdita Stevens, Jon Whittle UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky - Compiler Construction
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky Compiler Construction Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Sergei Gorlatch, F. Rabhi, Fethi Rabhi, Feth A Rabhi, Fethi A Rabhi, Gorlatch... - Patterns and Skeletons for Parallel and Distributed Computing
Sergei Gorlatch, F. Rabhi, Fethi Rabhi, Feth A Rabhi, Fethi A Rabhi, Gorlatch... Patterns and Skeletons for Parallel and Distributed Computing Inglese 29.10.2002 Tascabile Fr. 203.00 6-7 settimane
Robert Gl¿ck, Rober Glück, Robert Glück, Lowry, Lowry, Michael Lowry - Generative Programming and Component Engineering
Robert Gl¿ck, Rober Glück, Robert Glück, Lowry, Lowry, Michael Lowry Generative Programming and Component Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... - Formal Languages and Applications
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... Formal Languages and Applications Inglese 17.03.2004 Copertina rigida Fr. 237.00 6-7 settimane
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola - Coordination Models and Languages
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola Coordination Models and Languages Inglese 19.08.2005 Tascabile Fr. 70.00 6-7 settimane
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice Inglese 18.03.2004 Tascabile Fr. 135.00 6-7 settimane
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther - Numerical Software with Result Verification
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther Numerical Software with Result Verification Inglese 19.08.2005 Tascabile Fr. 70.00 6-7 settimane
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith - Integrated Formal Methods
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith Integrated Formal Methods Inglese 23.08.2005 Tascabile Fr. 70.00 6-7 settimane
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses - CASL Reference Manual
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses CASL Reference Manual Inglese 22.04.2004 Tascabile Fr. 135.00 6-7 settimane
Lawrence Rauchwerger - Languages and Compilers for Parallel Computing
Lawrence Rauchwerger Languages and Compilers for Parallel Computing Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
David Schmidt - Programming Languages and Systems
David Schmidt Programming Languages and Systems Inglese 25.08.2005 Tascabile Fr. 169.00 6-7 settimane
R. Sharp, Richard Sharp - Higher-Level Hardware Synthesis
R. Sharp, Richard Sharp Higher-Level Hardware Synthesis Inglese 22.04.2004 Tascabile Fr. 70.00 6-7 settimane