Here, what we could find on your book search:

André Platzer

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

Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physical Systems

André Platzer

Check Price (8 deals)
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

Alberto Griggio, Neha Rungta, Georg Weissenbacher and Warren A. Hunt, Jr.

Check Price (5 deals)
Computers in Railways XIII

Computers in Railways XIII

C. A. Brebbia, N. Tomii, P. Tzieropoulos and B. Ning

Check Price (6 deals)
Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software. The KeY Approach

Bernhard Beckert, Reiner Hähnle and Peter H. Schmitt

Check Price (10 deals)
Automated Deduction – CADE 27

Automated Deduction – CADE 27

Pascal Fontaine

Check Price (9 deals)
Motion Control

Motion Control

Federico Casolo

Check Price (6 deals)
Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt and Mattias Ulbrich

Check Price (6 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 (1 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free