Here, what we could find on your book search:

Cormac Flanagan

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

FME 2001: Formal Methods for Increasing Software Productivity

FME 2001: Formal Methods for Increasing Software Productivity

Jose N. Oliveira and Pamela Zave

Check Price (5 deals)
Hardware and Software, Verification and Testing

Hardware and Software, Verification and Testing

Shmuel Ur, Eyal Bin and Yaron Wolfsthal

Check Price (6 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Nicolas Halbwachs

Check Price (8 deals)
A Machine-Checked, Type-Safe Model of Java Concurrency

A Machine-Checked, Type-Safe Model of Java Concurrency

Andreas Lochbihler

Check Price (7 deals)
Essentials of Compilation

Essentials of Compilation

Jeremy G. Siek

Check Price (2 deals)
ECOOP 2004 - Object-Oriented Programming

ECOOP 2004 - Object-Oriented Programming

Martin Odersky

Check Price (2 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now