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!

First name * Lastname * E-mail * Customer number Order number Subject * Message *

This form sends us technical details about your browser in addition to the current URL in the shop. This may help us to better understand your feedback. You can find detailed information about this in our Privacy statement .

By submitting this form you agree to our data privacy statement.

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

Please go to www.CeDe.com for deliveries to countries different from Switzerland and Germany.

Close

Top service and free shipping since 1997

Wish list

Deliverability

Language version

Up-to-dateness

Topic

Product form

Authors

maximum price

Search result (EDV / Theorie / Software-Entw. / Testmethoden)

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles Guide to Software Verification with Frama-C English 01.08.2025 Paperback / Softback CHF 69.00 4-7 working days

Ervin Varga - Unraveling Software Maintenance and Evolution Thinking Outside the Box

Ervin Varga Unraveling Software Maintenance and Evolution English 09.02.2018 Hardback CHF 63.00 1-2 weeks

Bernhard Beckert, Reiner Hähnle - Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Bernhard Beckert, Reiner Hähnle Tests and Proofs English 31.03.2008 Paperback / Softback CHF 69.00 4-7 working days

Wolfgang Grieskamp, Carsten Weise - Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Wolfgang Grieskamp, Carsten Weise Formal Approaches to Software Testing English 30.05.2006 Paperback / Softback CHF 69.00 4-7 working days

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen Lectures on Formal Methods and Performance Analysis English 29.08.2001 Paperback / Softback CHF 69.00 4-7 working days

Matthew Dwyer - Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback CHF 69.00 4-7 working days

Henrik C. Bohnenkamp, Henri C Bohnenkamp, Henrik C Bohnenkamp, Boudewijn R. Haverkort, Connie U. Smith, … - Computer Performance Evaluation, Modelling Techniques and Tools 2000 11th International Conference, Tools 2000 Schaumburg, IL, USA, March 25-31, 2000. Proceedings

Henrik C. Bohnenkamp, Henri C Bohnenkamp, Henrik C Bohnenkamp, Boudewijn R. Haverkort, Connie U. Smith, … Computer Performance Evaluation, Modelling Techniques and Tools 2000 English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days

Glenford J Myers, Glenford J. Myers, Klau Becker-Berke, Klaus Becker-Berke - Methodisches Testen von Programmen

Glenford J Myers, Glenford J. Myers, Klau Becker-Berke, Klaus Becker-Berke Methodisches Testen von Programmen German 01.01.2001 Hardback CHF 138.00 1-2 weeks

Eike H. Riedemann, Eike Hagen Riedemann, Herbert Schippers - Testmethoden für sequentielle und nebenläufige Software-Systeme

Eike H. Riedemann, Eike Hagen Riedemann, Herbert Schippers Testmethoden für sequentielle und nebenläufige Software-Systeme German 01.01.1997 Paperback / Softback CHF 65.00 1-2 weeks