Here, what we could find on your book search:

K. Rustan M. Leino

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

Program Proofs

Program Proofs

K. Rustan M. Leino

Check Price (8 deals)
Engineering Methods and Tools for Software Safety and Security

Engineering Methods and Tools for Software Safety and Security

M. Broy, Wassiou Sitou and Charles Antony Richard Hoare

Check Price (8 deals)
Software System Reliability and Security

Software System Reliability and Security

M. Broy, Johannes Grünbauer and Charles Antony Richard Hoare

Check Price (3 deals)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet and Traian Muntean

Check Price (10 deals)
Informatics

Informatics

Reinhard Wilhelm

Check Price (7 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 (3 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 (5 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 (3 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now