IndianBookWorms

Here, what we could find on your book search:

Roberto Giacobazzi

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

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

Check Price (1 deals)
Computer Network Security

Computer Network Security

Vladimir Gorodetsky

Check Price (3 deals)
Static Analysis

Static Analysis

María Alpuente and Germán Vidal-Oriola

Check Price (8 deals)
Computer Science Logic

Computer Science Logic

Jerzy Marcinkowski and European Association for Computer Science Logic. Conference

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

© 2026 indianbookworms | Part of Diagramz network.