Here, what we could find on your book search:

David Pichardie

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

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Michael Hanus

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

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

Gilles Barthe, Benjamin Gregoire, Marieke Huisman and Jean-Luis Lanet

Check Price (1 deals)
FM 2005: Formal Methods

FM 2005: Formal Methods

John Fitzgerald and Ian J. Hayes

Check Price (7 deals)
Principles of Abstract Interpretation

Principles of Abstract Interpretation

Patrick Cousot

Check Price (1 deals)
Static Analysis

Static Analysis

David Pichardie and Mihaela Sighireanu

Check Price (6 deals)
Interactive Theorem Proving

Interactive Theorem Proving

Sandrine Blazy, Christine Paulin-Mohring and David Pichardie

Check Price (6 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now