Here, what we could find on your book search:

Thierry Lecomte

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

Formal Methods Teaching

Catherine Dubois and Pierluigi San Pietro

Check Price (3 deals)

UML-B Specification for Proven Embedded Systems Design

Jean Mermet

Check Price (5 deals)

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen and Wendelin Serwe

Check Price (2 deals)

Towards Autonomous Robotic Systems

Ana Cavalcanti, Simon Foster and Robert Richardson

Check Price (2 deals)

Formal Methods: Foundations and Applications

Maurice H. ter Beek and Leopoldo Teixeira

Check Price (4 deals)

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria and Bernhard Steffen

Check Price (1 deals)

Rigorous State-Based Methods

Michael Leuschel and Fuyuki Ishikawa

Check Price (6 deals)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Tiziana Margaria and Bernhard Steffen

Check Price (9 deals)

Formal Methods for Industrial Critical Systems

María Alpuente, Byron Cook and Christophe Joubert

Check Price (6 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now