Languages
Subject
Format
Availabity
Authors

Search result

Martin Gro¿-Rhode, M. Große-Rhode, Martin Große-Rhode, Wilfried Brauer, Grzegorz Rozenberg, Arto Salomaa - Semantic Integration of Heterogeneous Software Specifications
Martin Gro¿-Rhode, M. Große-Rhode, Martin Große-Rhode, Wilfried Brauer, Grzegorz Rozenberg, Arto Salomaa Semantic Integration of Heterogeneous Software Specifications English 17.12.2003 Hardback Fr. 189.00 6-7 weeks
Roberto Amadio, Denis Lugiez - CONCUR 2003 - Concurrency Theory
Roberto Amadio, Denis Lugiez CONCUR 2003 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Branislav Rovan, Peter Vojtas - Mathematical Foundations of Computer Science 2003
Branislav Rovan, Peter Vojtas Mathematical Foundations of Computer Science 2003 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
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. 158.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
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
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
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 English 25.08.2005 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
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 English 29.10.2002 Paperback / Softback Fr. 203.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 17.03.2004 Hardback Fr. 237.00 6-7 weeks
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 English 19.08.2005 Paperback / Softback Fr. 70.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
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 English 19.08.2005 Paperback / Softback Fr. 70.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