Here, what we could find on your book search:

Jacques Julliand

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund, Manuel Núnez, Grigore Rosu and Burkhart Wolff

Check Price (5 deals)
Tests and Proofs

Tests and Proofs

Martin Gogolla and Burkhart Wolff

Check Price (6 deals)
ZB 2002: Formal Specification and Development in Z and B

ZB 2002: Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Martin C. Henson and Ken Robinson

Check Price (5 deals)
Computer and Information Science 2015

Computer and Information Science 2015

Roger Lee

Check Price (10 deals)
Principles of Abstract Interpretation

Principles of Abstract Interpretation

Patrick Cousot

Check Price (6 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now