Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
Tiziana Margaria-Steffen, Michel Wermelinger - Fundamental Approaches to Software Engineering
Tiziana Margaria-Steffen, Michel Wermelinger Fundamental Approaches to Software Engineering Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing - Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
G. M. Seed, Graham M Seed, Graham M. Seed - An Introduction to Object-Oriented Programming in C++
G. M. Seed, Graham M Seed, Graham M. Seed An Introduction to Object-Oriented Programming in C++ Inglese 01.01.2001 Tascabile Fr. 147.00 6-7 settimane