Here, what we could find on your book search:

Lubos Brim

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

Dependable Software Systems Engineering

Dependable Software Systems Engineering

J. Esparza, O. Grumberg and S. Sickert

Check Price (7 deals)
Implementation and Application of Automata

Implementation and Application of Automata

Jacques Farré, Igor Litovsky and Sylvain Schmitz

Check Price (1 deals)
Applications and Theory of Petri Nets 2004

Applications and Theory of Petri Nets 2004

Jordi Cortadella and Wolfgang Reisig

Check Price (10 deals)
Massive Graph Analytics

Massive Graph Analytics

David A. Bader

Check Price (6 deals)
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Sungdeok Cha, Jin-Young Choi, Moonzoo Kim and Mahesh Viswanathan

Check Price (4 deals)
Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron Peled, Doron A. Peled and Moshe Y. Vardi

Check Price (9 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now