IndianBookWorms

Here, what we could find on your book search:

Alfons Laarman

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

Theoretical Aspects of Computing – ICTAC 2024

Theoretical Aspects of Computing – ICTAC 2024

Chutiporn Anutariya and Marcello M. Bonsangue

Check Price (3 deals)
NASA Formal Methods

NASA Formal Methods

Aaron Dutle, César Muñoz and Anthony Narkawicz

Check Price (6 deals)
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay and Doron Peled

Check Price (10 deals)
Model Checking Software

Model Checking Software

Georgiana Caltais and Christian Schilling

Check Price (8 deals)
Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Jun Pang and Lijun Zhang

Check Price (5 deals)
Handbook of Parallel Constraint Reasoning

Handbook of Parallel Constraint Reasoning

Youssef Hamadi and Lakhdar Sais

Check Price (6 deals)
Model Checking Software

Model Checking Software

Alfons Laarman and Ana Sokolova

Check Price (7 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2026 indianbookworms | Part of Diagramz network.