Here, what we could find on your book search:

Bernhard Steffen

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

Models, Mindsets, Meta: The What, the How, and the Why Not?

Models, Mindsets, Meta: The What, the How, and the Why Not?

Tiziana Margaria, Susanne Graf and Kim G. Larsen

Check Price (5 deals)
Compiler Construction

Compiler Construction

Evelyn Duesterwald

Check Price (4 deals)
Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga and Matthias Volk

Check Price (10 deals)
Journeys Between Formal Methods and the Railway Industry

Journeys Between Formal Methods and the Railway Industry

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen and Laura Semini

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

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

Check Price (2 deals)
Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Amel Bennaceur, Reiner Hähnle and Karl Meinke

Check Price (1 deals)
Computer Aided Verification

Computer Aided Verification

Ruzica Piskac and Zvonimir Rakamarić

Check Price (1 deals)
Semantic Web Services Challenge

Semantic Web Services Challenge

Charles J. Petrie, Tiziana Margaria, Holger Lausen and Michal Zaremba

Check Price (5 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now