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

Emi Sekerinski, Emil Sekerinski, SERE, Sere, Kaisa Sere - Program Development by Refinement

Emi Sekerinski, Emil Sekerinski, SERE, Sere, Kaisa Sere Program Development by Refinement English 27.07.2004 Paperback / Softback Fr. 238.00 1-2 weeks (title will be printed to order)

Jonathan P. Bowen, Michae G Hinchey, Michael G Hinchey, Michael G. Hinchey, P Bowen, P Bowen - Industrial-Strength Formal Methods in Practice

Jonathan P. Bowen, Michae G Hinchey, Michael G Hinchey, Michael G. Hinchey, P Bowen, P Bowen Industrial-Strength Formal Methods in Practice English 01.01.1960 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)

Jonathan Bowen, Jonathan P Bowen, Jonathan P. Bowen, Michael G Hinchey, Michael G. Hinchey - High-Integrity System Specification and Design

Jonathan Bowen, Jonathan P Bowen, Jonathan P. Bowen, Michael G Hinchey, Michael G. Hinchey High-Integrity System Specification and Design English 01.01.1999 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Juan Bicarregui, Juan C Bicarregui, Juan C. Bicarregui, Joh Fitzgerald, John Fitzgerald, John S. Fitzgerald... - Proof in VDM: A Practitioners' Guide

Juan Bicarregui, Juan C Bicarregui, Juan C. Bicarregui, Joh Fitzgerald, John Fitzgerald, John S. Fitzgerald... Proof in VDM: A Practitioners' Guide English 01.01.1993 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Loe M Feijs, Loe M G Feijs, Loe M. G. Feijs, Hans B Jonkers, Hans B M Jonkers, Hans B. M. Jonkers... - Notations for Software Design

Loe M Feijs, Loe M G Feijs, Loe M. G. Feijs, Hans B Jonkers, Hans B M Jonkers, Hans B. M. Jonkers... Notations for Software Design English 01.01.1994 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Derek J Andrews, Derek J. Andrews - A Theory and Practice of Program Development

Derek J Andrews, Derek J. Andrews A Theory and Practice of Program Development English 01.01.1997 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Juan C. Bicarregui, Jua C Bicarregui, Juan C Bicarregui - Proof in VDM: Case Studies

Juan C. Bicarregui, Jua C Bicarregui, Juan C Bicarregui Proof in VDM: Case Studies English 01.01.1998 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Philipp Palanque, Philippe Palanque, Paterno, Paterno, Fabio Paterno, Fabio Paternò - Formal Methods in Human-Computer Interaction

Philipp Palanque, Philippe Palanque, Paterno, Paterno, Fabio Paterno, Fabio Paternò Formal Methods in Human-Computer Interaction English 01.01.1998 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Hung Dang Van, Chri George, Chris George, Tomasz Janowski, Tomasz Janowski et al, Richard Moore - Specification Case Studies in RAISE

Hung Dang Van, Chri George, Chris George, Tomasz Janowski, Tomasz Janowski et al, Richard Moore Specification Case Studies in RAISE English 28.03.2002 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Henri Habrias, Mar Frappier, Marc Frappier, HABRIAS, Habrias, Henri Habrias - Software Specification Methods

Henri Habrias, Mar Frappier, Marc Frappier, HABRIAS, Habrias, Henri Habrias Software Specification Methods English 01.01.2000 Paperback / Softback Fr. 147.00 6-7 weeks

On the Refinement Calculus

On the Refinement Calculus English 01.01.1992 Hardback Sold out