Here, what we could find on your book search:

Werner Damm

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

Correct System Design

Correct System Design

Ernst-Rüdiger Olderog and Bernhard Steffen

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

Tools and Algorithms for the Construction and Analysis of Systems

Tiziana Margaria and Wang Yi

Check Price (3 deals)
Lectures on Petri Nets II: Applications

Lectures on Petri Nets II: Applications

Wolfgang Reisig and Grzegorz Rozenberg

Check Price (7 deals)
Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Mathai Joseph

Check Price (1 deals)
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Darren Cofer and Alessandro Fantechi

Check Price (7 deals)
Computer Aided Verification

Computer Aided Verification

E. Allen Emerson and A. Prasad Sistla

Check Price (9 deals)
Formale Beschreibungstechniken für verteilte Systeme

Formale Beschreibungstechniken für verteilte Systeme

Check Price (8 deals)
Engineering Safe and Trustworthy Cyber Physical Systems

Engineering Safe and Trustworthy Cyber Physical Systems

Martin Fränzle, Jürgen Niehaus and Bernd Westphal

Check Price (4 deals)
Computer Hardware Description Languages and Their Applications

Computer Hardware Description Languages and Their Applications

Dominique Borrione and Ron Waxman

Check Price (6 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free