IndianBookWorms

Here, what we could find on your book search:

Willem-Paul de Roever

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

Concurrency, Compositionality, and Correctness

Concurrency, Compositionality, and Correctness

Dennis Dams, Ulrich Hannemann and Martin Steffen

Check Price (8 deals)
Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

Bertrand Meyer and Jim Woodcock

Check Price (8 deals)
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Heinrich Hussmann

Check Price (8 deals)
Formal Methods for Components and Objects

Formal Methods for Components and Objects

Frank S.de Boer

Check Price (6 deals)
FME 2003: Formal Methods

FME 2003: Formal Methods

Keijiro Araki

Check Price (10 deals)
2011

2011

Check Price (5 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2025 indianbookworms | Part of Diagramz network.