Here, what we could find on your book search:

Doron A. Peled

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 (7 deals)
Model Checking, second edition

Model Checking, second edition

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

Check Price (10 deals)
Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

Ganesh Gopalakrishnan and Phillip Windley

Check Price (4 deals)
Formal Approaches to Software Testing

Formal Approaches to Software Testing

Jens Grabowski and Brian Nielsen

Check Price (8 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Dirk Beyer and Ana Cavalcanti

Check Price (10 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma

Check Price (4 deals)
Implementation and Application of Automata

Implementation and Application of Automata

Michael Domaratzki, Alexander Okhotin, Kai Salomaa and Sheng Yu

Check Price (10 deals)
Unfoldings

Unfoldings

Javier Esparza and Keijo Heljanko

Check Price (7 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free