Here, what we could find on your book search:

Orna Grumberg

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

Model Checking

Edmund M. Clarke, Orna Grumberg, Doron Peled and Doron A. Peled

Check Price (10 deals)
Model Checking, second edition

Model Checking, second edition

Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith

Check Price (9 deals)
Parameterized Verification of Synchronized Concurrent Programs

Parameterized Verification of Synchronized Concurrent Programs

Zeinab Ganjei

Check Price (9 deals)
Model Checking Software

Model Checking Software

Dragan Bosnacki and Stefan Leue

Check Price (1 deals)
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

Enrico Giunchiglia

Check Price (6 deals)
Automata, Languages and Programming

Automata, Languages and Programming

Josep Diaz, Juhani Karhumäki, Arto Lepistö and Donald Sannella

Check Price (7 deals)
Decidability of Parameterized Verification

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Kalimov and Igor Konnov

Check Price (6 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now