Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Ivor Horton - Beginning C
Ivor Horton Beginning C Englisch 20.10.2006 Fester Einband Fr. 109.00 6-7 Wochen
Ivor Horton - Beginning C
Ivor Horton Beginning C Englisch 08.12.2014 Taschenbuch Fr. 69.00 6-7 Wochen
Alexandre Petrenko, Andreas Ulrich - Formal Approaches to Software Testing
Alexandre Petrenko, Andreas Ulrich Formal Approaches to Software Testing Englisch 16.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 16.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Catuscia Palamidessi - Logic Programming
Catuscia Palamidessi Logic Programming Englisch 19.02.2009 Taschenbuch Fr. 159.00 6-7 Wochen
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 Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Manfred Broy, Alexandre V. Zamulin - Perspectives of Systems Informatics
Manfred Broy, Alexandre V. Zamulin Perspectives of Systems Informatics Englisch 19.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Kendall Scott - Fast Track UML 2.0
Kendall Scott Fast Track UML 2.0 Englisch 14.04.2004 Taschenbuch Fr. 32.50 6-7 Wochen
Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky - Compiler Construction
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky Compiler Construction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 17.03.2004 Fester Einband Fr. 239.00 6-7 Wochen
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 Englisch 19.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice Englisch 18.03.2004 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 19.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith - Integrated Formal Methods
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith Integrated Formal Methods Englisch 23.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 22.04.2004 Taschenbuch Fr. 135.00 6-7 Wochen