Here, what we could find on your book search:

Maria Christakis

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).

Model Checking Software

Model Checking Software

Bernd Fischer and Jaco Geldenhuys

Check Price (5 deals)
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Deepak D'Souza, Akash Lal and Kim Guldstrand Larsen

Check Price (4 deals)
Software Engineering and Formal Methods

Software Engineering and Formal Methods

Dimitra Giannakopoulou and Gwen Salaün

Check Price (7 deals)
FM 2012: Formal Methods

FM 2012: Formal Methods

Dimitra Giannakopoulou and Dominique Mery

Check Price (4 deals)
Runtime Verification

Runtime Verification

Borzoo Bonakdarpour and Scott A. Smolka

Check Price (3 deals)
Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Ricardo Rocha and John Launchbury

Check Price (10 deals)
FM 2014: Formal Methods

FM 2014: Formal Methods

Cliff Jones, Pekka Pihlajasaari and Jun Sun

Check Price (8 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now