IndianBookWorms

Here, what we could find on your book search:

Rupak Majumdar

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

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Doron A. Peled and Yih-Kuen Tsay

Check Price (8 deals)
Engineering Secure and Dependable Software Systems

Engineering Secure and Dependable Software Systems

Alexander Pretschner and Peter Müller

Check Price (9 deals)
Model Checking Software

Model Checking Software

Patrick Godefroid

Check Price (7 deals)
Integrated Formal Methods

Integrated Formal Methods

Eerke Boiten, John Derrick and Graeme Smith

Check Price (4 deals)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

Joao Hespanha

Check Price (6 deals)
Embedded Software

Embedded Software

Alberto Sangiovanni-Vincentelli and Joseph Sifakis

Check Price (3 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

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

© 2025 indianbookworms | Part of Diagramz network.