Here, what we could find on your book search:

Tommaso Bolognesi

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

A Computable Universe

A Computable Universe

Hector Zenil

Check Price (8 deals)
Formal Techniques for Networked and Distributed Systems - FORTE 2004

Formal Techniques for Networked and Distributed Systems - FORTE 2004

David de Frutos-Escrig and Manuel Nunez

Check Price (6 deals)
Abstract State Machines 2003. Advances in Theory and Practice

Abstract State Machines 2003. Advances in Theory and Practice

Egon Börger, Angelo Gargantini and Elvinia Riccobene

Check Price (1 deals)
Formal Techniques for Networked and Distributed Systems - FORTE 2005

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Farn Wang

Check Price (7 deals)
Computer Aided Verification

Computer Aided Verification

Costas Courcoubetis

Check Price (6 deals)
Formal Description Techniques

Formal Description Techniques

Kenneth J. Turner

Check Price (6 deals)
Protocol Specification, Testing and Verification XV

Protocol Specification, Testing and Verification XV

Piotr Dembinski and Marek Sredniawa

Check Price (7 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now