- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Computers Internet Books /
- Programming Books /
- General Books / Temporal Verification of Reactive Systems Safety
Temporal Verification of Reactive Systems Safety - 9780387944593
Zohar Manna , Amir PnueliAbout the Book :
- Language : English
- Binding : Hardcover
- Contributors : Zohar Manna, Amir Pnueli, Z. Manna
Temporal Verification of Reactive Systems Safety Details :
DETAILS
- Language : English
- Binding : Hardcover
- Contributors : Zohar Manna, Amir Pnueli, Z. Manna
Temporal Verification of Reactive Systems Safety Price History
- The best price for Temporal Verification of Reactive Systems Safety in India is Rs. as per July 1, 2024, 12:18 am
- You save NAN% by purchasing it at for over which sells it for
- The prices for is valid in all major cities of India including Bangalore, Delhi, Hyderabad, Chennai, Mumbai, Kolkata and Pune. Please check instructions at the specific stores for any deviation.
- All prices mentioned above are in INR
Temporal Verification of Reactive Systems Safety Related Books :
₹345 onwards
- Krishnamurthi Shriram, Flatt Matthew, Findler Robert Bruce, Felleisen Matthias
₹600 onwards
- Taqi Mohiuddin, Matthew R. Nawrocki, Rick Bitter
₹800 onwards
- Sandy Shrum, Mary Beth Chrissis, Mike Konrad
₹3000 onwards
- Brandon L. Buteau, Sandy Shrum, Eileen C. Forrester
₹2004 onwards
- Dino Esposito, Andrea Saltarello
₹800 onwards
- Eric J. Braude, Michael E. Bernstein
₹2396 onwards
- David Garmus, Janet Russac, Royce Edwards
₹800 onwards
- Roman Pichler
