IndianBookWorms

Here, what we could find on your book search:

Bernhard Beckert

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

Deductive Verification of Object-oriented Software

Deductive Verification of Object-oriented Software

Benjamin Weiß

Check Price (3 deals)
Theory Reasoning in Connection Calculi

Theory Reasoning in Connection Calculi

Peter Baumgartner

Check Price (8 deals)
Model-Driven Architecture - Foundations and Applications

Model-Driven Architecture - Foundations and Applications

Jos Warmer and Arend Rensink

Check Price (2 deals)
Automated Reasoning

Automated Reasoning

Rajeev Gore, Alexander Leitsch and Tobias Nipkow

Check Price (9 deals)
Automated Deduction - Cade-13

Automated Deduction - Cade-13

Michael A. McRobbie and J.K. Slaney

Check Price (4 deals)
Labelled Deduction

Labelled Deduction

David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews and Luca Viganò

Check Price (4 deals)
Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle and Mattias Ulbrich

Check Price (10 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2026 indianbookworms | Part of Diagramz network.