IndianBookWorms

Here, what we could find on your book search:

Bernhard K. Aichernig

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

Computer Science Logic

Computer Science Logic

Matthias Baaz and Johann M. Makowsky

Check Price (3 deals)
FME 2001: Formal Methods for Increasing Software Productivity

FME 2001: Formal Methods for Increasing Software Productivity

Jose N. Oliveira and Pamela Zave

Check Price (3 deals)
Computer Safety, Reliability and Security

Computer Safety, Reliability and Security

Massimo Felici, Karama Kanoun and Alberto Pasquini

Check Price (5 deals)
Computer Aided Verification

Computer Aided Verification

Ruzica Piskac and Zvonimir Rakamarić

Check Price (4 deals)
Tests and Proofs

Tests and Proofs

Margus Veanes and Luca Vigano

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