Here, what we could find on your book search:

Bernd Finkbeiner

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

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 (9 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 (1 deals)
Programming Languages and Systems

Programming Languages and Systems

Gilles Barthe

Check Price (8 deals)
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Dang Van Hung and Oleg Sokolsky

Check Price (4 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Dimitra Giannakopoulou and Fernando Orejas

Check Price (4 deals)
Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Martin Hofmann

Check Price (10 deals)
Dependable Software Systems Engineering

Dependable Software Systems Engineering

J. Esparza, O. Grumberg and S. Sickert

Check Price (5 deals)
Computer Aided Verification

Computer Aided Verification

Arie Gurfinkel and Vijay Ganesh

Check Price (2 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free