IndianBookWorms

Here, what we could find on your book search:

Xavier Rival

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

Principles of Abstract Interpretation

Principles of Abstract Interpretation

Patrick Cousot

Check Price (9 deals)
Programming Languages and Systems

Programming Languages and Systems

Mooly Sagiv

Check Price (1 deals)
Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Nikolai Kosmatov, Virgile Prevosto and Julien Signoles

Check Price (6 deals)
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Lenore D. Zuck, Paul D. Attie, Agostino Cortesi and Supratik Mukhopadhyay

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