Languages
Subject
Format
Availabity
Authors

Search result

Alexandre Petrenko, Andreas Ulrich - Formal Approaches to Software Testing
Alexandre Petrenko, Andreas Ulrich Formal Approaches to Software Testing English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Catuscia Palamidessi - Logic Programming
Catuscia Palamidessi Logic Programming English 19.02.2009 Paperback / Softback Fr. 159.00 6-7 weeks
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 English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Fran Dignum, Frank Dignum - Advances in Agent Communication
Fran Dignum, Frank Dignum Advances in Agent Communication English 06.07.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Manfred Broy, Alexandre V. Zamulin - Perspectives of Systems Informatics
Manfred Broy, Alexandre V. Zamulin Perspectives of Systems Informatics English 19.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
H. Ehrig, Hartmut Ehrig, W. Reisig, Wolfgan Reisig, Wolfgang Reisig, G. Rozenberg... - Petri Net Technology for Communication-Based Systems
H. Ehrig, Hartmut Ehrig, W. Reisig, Wolfgan Reisig, Wolfgang Reisig, G. Rozenberg... Petri Net Technology for Communication-Based Systems English 16.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Monika Heiner, Hartmut König, Adam Wolisz - Formal Techniques for Networked and Distributed Systems - FORTE 2003
Monika Heiner, Hartmut König, Adam Wolisz Formal Techniques for Networked and Distributed Systems - FORTE 2003 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky - Compiler Construction
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Holger Hermanns - Interactive Markov Chains
Holger Hermanns Interactive Markov Chains English 18.10.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Yve Bertot, Yves Bertot, P. Casteran, Pierre Castéran - Interactive Theorem Proving and Program Development
Yve Bertot, Yves Bertot, P. Casteran, Pierre Castéran Interactive Theorem Proving and Program Development English 01.01.2004 Hardback Fr. 147.00 6-7 weeks
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice English 18.03.2004 Paperback / Softback Fr. 135.00 6-7 weeks
M Turull-Torres, M Turull-Torres, Dietma Seipel, Dietmar Seipel, Jose M. Turull-Torres - Foundations of Information and Knowledge Systems
M Turull-Torres, M Turull-Torres, Dietma Seipel, Dietmar Seipel, Jose M. Turull-Torres Foundations of Information and Knowledge Systems English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Rajeev Alur, George Pappas - Hybrid Systems: Computation and Control
Rajeev Alur, George Pappas Hybrid Systems: Computation and Control English 23.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith - Integrated Formal Methods
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith Integrated Formal Methods English 23.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Farach-Colton - LATIN 2004: Theoretical Informatics
Martin Farach-Colton LATIN 2004: Theoretical Informatics English 29.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Kurt Jensen, Andreas Podelski - Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen, Andreas Podelski Tools and Algorithms for the Construction and Analysis of Systems English 18.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks