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

Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese - Software Engineering for Self-Adaptive Systems III. Assurances

Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese Software Engineering for Self-Adaptive Systems III. Assurances English 18.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 81.00 1-2 weeks (title will be printed to order)

Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, Martin Leucker... - Model-Based Testing of Reactive Systems

Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, Martin Leucker... Model-Based Testing of Reactive Systems English 04.07.2005 Paperback / Softback Fr. 70.00 6-7 weeks

Enrico Giunchiglia, Toby Walsh - SAT 2005

Enrico Giunchiglia, Toby Walsh SAT 2005 English 28.03.2011 Hardback Fr. 189.00 6-7 weeks

Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods

Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods English 01.01.2016 Paperback / Softback Fr. 110.00 6-7 weeks

Sebastia Nanz, Sebastian Nanz - The Future of Software Engineering

Sebastia Nanz, Sebastian Nanz The Future of Software Engineering English 16.11.2010 Hardback Fr. 70.00 6-7 weeks

Enric Giunchiglia, Enrico Giunchiglia, Walsh, Walsh, Toby Walsh - SAT 2005

Enric Giunchiglia, Enrico Giunchiglia, Walsh, Walsh, Toby Walsh SAT 2005 English 01.01.2014 Paperback / Softback Fr. 189.00 6-7 weeks

Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods

Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English 06.08.2025 Paperback / Softback Fr. 169.00 6-7 weeks

Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering

Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering English 30.11.2015 Paperback / Softback Fr. 70.00 6-7 weeks

Stefani Gnesi, Stefania Gnesi, Rensink, Rensink, Arend Rensink - Fundamental Approaches to Software Engineering

Stefani Gnesi, Stefania Gnesi, Rensink, Rensink, Arend Rensink Fundamental Approaches to Software Engineering English 04.03.2014 Paperback / Softback Fr. 70.00 6-7 weeks

Jonathan Protzenko, Raad, Azalea Raad - Verified Software. Theories, Tools and Experiments

Jonathan Protzenko, Raad, Azalea Raad Verified Software. Theories, Tools and Experiments English 17.04.2025 Paperback / Softback Fr. 70.00 6-7 weeks

Jeremy Gibbons - Trends in Functional Programming

Jeremy Gibbons Trends in Functional Programming English 26.08.2025 Paperback / Softback Fr. 159.00 6-7 weeks

Alexande Egyed, Alexander Egyed, Schaefer, Schaefer, Ina Schaefer - Fundamental Approaches to Software Engineering

Alexande Egyed, Alexander Egyed, Schaefer, Schaefer, Ina Schaefer Fundamental Approaches to Software Engineering English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks

Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... - Testing Software and Systems

Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... Testing Software and Systems English 19.01.2025 Paperback / Softback Fr. 92.00 6-7 weeks

Pierre Ganty, Mansutti, Alessio Mansutti - Reachability Problems

Pierre Ganty, Mansutti, Alessio Mansutti Reachability Problems English Paperback / Softback Fr. 81.00 Will be released 30.11.2025

Ferruccio Damiani, Farrell, Marie Farrell - Integrated Formal Methods

Ferruccio Damiani, Farrell, Marie Farrell Integrated Formal Methods English Paperback / Softback Fr. 91.00 Will be released 24.01.2026

Clark Barrett, Waldmann, Uwe Waldmann - Automated Deduction - CADE 30

Clark Barrett, Waldmann, Uwe Waldmann Automated Deduction - CADE 30 English 11.09.2025 Paperback / Softback Sold out