Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

John Favaro, Maurizio Morisio - Safe and Secure Software Reuse

John Favaro, Maurizio Morisio Safe and Secure Software Reuse English 06.06.2013 Paperback / Softback Fr. 69.00 6-7 weeks

Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z

Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z English 11.05.2016 Paperback / Softback Fr. 69.00 6-7 weeks

Andreas Krall - Software and Compilers for Embedded Systems

Andreas Krall Software and Compilers for Embedded Systems English 16.09.2003 Paperback / Softback Fr. 69.00 6-7 weeks

Pieter van Gorp, Tom Ritter, Louis M Rose, Pieter Van Gorp - Modelling Foundations and Applications

Pieter van Gorp, Tom Ritter, Louis M Rose, Pieter Van Gorp Modelling Foundations and Applications English 06.06.2013 Paperback / Softback Fr. 65.00 6-7 weeks

Kim G. Larsen, Peter Niebert - Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert Formal Modeling and Analysis of Timed Systems English 08.04.2004 Paperback / Softback Fr. 69.00 6-7 weeks

Michele Marchesi, Giancarlo Succi - Extreme Programming and Agile Processes in Software Engineering

Michele Marchesi, Giancarlo Succi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Thomas Ball, Sriram K. Rajamani - Model Checking Software

Thomas Ball, Sriram K. Rajamani Model Checking Software English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... - Formal Methods for Components and Objects, FMCO 2002

Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... Formal Methods for Components and Objects, FMCO 2002 English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks

Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... - Duration Calculus

Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... Duration Calculus English 13.12.2003 Hardback Fr. 135.00 6-7 weeks

Jack Dongarra, Domenico Laforenza, Salvatore Orlando - Recent Advances in Parallel Virtual Machine and Message Passing Interface

Jack Dongarra, Domenico Laforenza, Salvatore Orlando Recent Advances in Parallel Virtual Machine and Message Passing Interface English 30.06.2009 Paperback / Softback Fr. 135.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. 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

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

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

1
...
48
49
50
...
86