Here, what we could find on your book search:

Gilles Barthe

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

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Parosh Aziz Abdulla and Delia Kesner

Check Price (4 deals)
From Formal Semantics to Verified Slicing

From Formal Semantics to Verified Slicing

Daniel Wasserrab

Check Price (4 deals)
Principles of Abstract Interpretation

Principles of Abstract Interpretation

Patrick Cousot

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

Programming Languages and Systems

Sophia Drossopoulou

Check Price (8 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Michel Wermelinger and Tiziana Margaria-Steffen

Check Price (1 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Jean-Christophe Filliatre

Check Price (5 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 (7 deals)
Reduction properties of π-IE-systems [pi-IE-systems]

Reduction properties of π-IE-systems [pi-IE-systems]

Felix Joachimski

Check Price (9 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now