IndianBookWorms

Here, what we could find on your book search:

Markus Roggenbach

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

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

Dieter Hutter

Check Price (8 deals)
Challenges of Human Space Exploration

Challenges of Human Space Exploration

Marsha Freeman

Check Price (7 deals)
Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Didier Bert, Christine Choppy and Peter Mosses

Check Price (3 deals)
CASL Reference Manual

CASL Reference Manual

Check Price (2 deals)
Communicating Process Architectures 2015 & 2016

Communicating Process Architectures 2015 & 2016

K. Chalmers, J. Bækgaard Pedersen and F.R.M. Barnes

Check Price (1 deals)
Formal Methods for Software Engineering

Formal Methods for Software Engineering

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider and Siraj Ahmed Shaikh

Check Price (1 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.