Here, what we could find on your book search:

Stefan Leue

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: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Tiziana Margaria and Bernhard Steffen

Check Price (5 deals)
Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Evgeniĭ Aleksandrovich Asarin

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

Tools and Algorithms for the Construction and Analysis of Systems

Holger Hermanns

Check Price (2 deals)
SDL '97: Time for Testing

SDL '97: Time for Testing

Ana Cavalli and Amardeo Sarma

Check Price (8 deals)
CONCUR 2006 - Concurrency Theory

CONCUR 2006 - Concurrency Theory

Christel Baier and Holger Hermanns

Check Price (3 deals)
Formal Description Techniques VII

Formal Description Techniques VII

D. Hogrefe and S. Leue

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

Protocol Specification, Testing and Verification XV

Piotr Dembinski and Marek Sredniawa

Check Price (9 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free