Here, what we could find on your book search:

Gidon Ernst

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria and Bernhard Steffen

Check Price (1 deals)
Principled Software Development

Principled Software Development

Peter Müller and Ina Schaefer

Check Price (1 deals)
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner and Thomas Wies

Check Price (2 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Heike Wehrheim and Jordi Cabot

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

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina

Check Price (8 deals)
TOOLympics Challenge 2023

TOOLympics Challenge 2023

Dirk Beyer, Arnd Hartmanns and Fabrice Kordon

Check Price (5 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Einar Broch Johnsen and Manuel Wimmer

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

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen

Check Price (10 deals)
Baker's Student Encyclopedia of Music: H-Q

Baker's Student Encyclopedia of Music: H-Q

Laura Diane Kuhn

Check Price (3 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free