Here, what we could find on your book search:

Daniel Wasserrab

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

Principled Software Development

Principled Software Development

Peter Müller and Ina Schaefer

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

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

Andreas Lochbihler

Check Price (10 deals)
Object-Oriented Technology. ECOOP 2007 Workshop Reader

Object-Oriented Technology. ECOOP 2007 Workshop Reader

Michael Cebulla

Check Price (4 deals)
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Otmane Ait Mohamed, César Munoz and Sofiène Tahar

Check Price (3 deals)
Intelligent Computer Mathematics

Intelligent Computer Mathematics

Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe and Volker Sorge

Check Price (6 deals)
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

Mohr, Martin

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

From Formal Semantics to Verified Slicing

Daniel Wasserrab

Check Price (6 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now