Here, what we could find on your book search:

Martin Hofmann

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

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 (9 deals)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

R. Ramanujam

Check Price (9 deals)
Programming Languages and Systems

Programming Languages and Systems

Daniel Le Metayer

Check Price (2 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Herman Geuvers and Freek Wiedijk

Check Price (3 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Stefano Berardi and Mario Coppo

Check Price (8 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free