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

David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle - Model Driven Engineering Languages and Systems

David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle Model Driven Engineering Languages and Systems English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Jifeng He, Zhiming Liu - Formal Methods and Software Engineering

Jifeng He, Zhiming Liu Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach

Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation

Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks

González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... - Reliable Software Technologies -- Ada-Europe 2006

González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... Reliable Software Technologies -- Ada-Europe 2006 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Bui Minh Duc, Bui Minh Duc - Real-Time Object Uniform Design Methodology with UML

Bui Minh Duc, Bui Minh Duc Real-Time Object Uniform Design Methodology with UML English 26.06.2009 Hardback Fr. 216.00 6-7 weeks

Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages

Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2007

Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon Reliable Software Technologies - Ada-Europe 2007 English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof

Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory

Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Christia Bessiere, Christian Bessiere - Principles and Practice of Constraint Programming - CP 2007

Christia Bessiere, Christian Bessiere Principles and Practice of Constraint Programming - CP 2007 English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks

W. Emmerich, Wolfgan Emmerich, Wolfgang Emmerich, Tai, Tai, S. Tai... - Engineering Distributed Objects

W. Emmerich, Wolfgan Emmerich, Wolfgang Emmerich, Tai, Tai, S. Tai... Engineering Distributed Objects English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... - Case-Based Reasoning Research and Development

David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... Case-Based Reasoning Research and Development English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Rachi Guerraoui, Rachid Guerraoui - Middleware 2001

Rachi Guerraoui, Rachid Guerraoui Middleware 2001 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2002

Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2002 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Sophi Tison, Sophie Tison - Rewriting Techniques and Applications

Sophi Tison, Sophie Tison Rewriting Techniques and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera - CONCUR 2002 - Concurrency Theory

Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera CONCUR 2002 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering

Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie Formal Methods and Software Engineering English 14.04.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

1
...
6
7
8
...
19