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

Clear Language version

Topic

Product form

maximum price

Search result (English, Verifikation - verifizieren)

Gordian Haas - Minimal Verificationism On the Limits of Knowledge

Gordian Haas Minimal Verificationism English 01.10.2015 Hardback CHF 153.00 1-2 weeks

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

Francoi Bodart, Francois Bodart, Vanderdonckt, Vanderdonckt, Jean Vanderdonckt - Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996

Francoi Bodart, Francois Bodart, Vanderdonckt, Vanderdonckt, Jean Vanderdonckt Design, Specification and Verification of Interactive Systems '96 English 01.01.1996 Paperback / Softback CHF 69.00 4-7 working days

Paolo E. Camurati, Paolo Enrico Camurati, Paol Enrico Camurati, Paolo Enrico Camurati, Eveking, … - Correct Hardware Design and Verification Methods IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Paolo E. Camurati, Paolo Enrico Camurati, Paol Enrico Camurati, Paolo Enrico Camurati, Eveking, … Correct Hardware Design and Verification Methods English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days

Patric Godefroid, Patrice Godefroid - Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem

Patric Godefroid, Patrice Godefroid Partial-Order Methods for the Verification of Concurrent Systems English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days

Georg J Milne, George J Milne, George J. Milne, Pierre, Pierre, … - Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26 1993. Proceedings

Georg J Milne, George J Milne, George J. Milne, Pierre, Pierre, … Correct Hardware Design and Verification Methods English 01.01.1960 Paperback / Softback CHF 69.00 4-7 working days