Price Comparison for Indian Stores
Gift cards @ 3% Off Coupons Deals Tatkal Booking Extension Careers at Buyhatke
Mobile App App
Chrome Extension

Temporal Verification of Reactive Systems Safety - 9780387944593

N/A
₹800
See all Prices
See Price Trend

About 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
Read The Full Specification

Temporal Verification of Reactive Systems Safety Price History

  • The best price for Temporal Verification of Reactive Systems Safety in India is Rs. as per December 24, 2024, 2:05 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 :

Comdex NET 4 0 Programming Course Kit Covering NET Framework 4 0 Vb 2010 C 2010 And Asp NET 4 0 With CD
Comdex NET 4 0 Programming Course Kit Covering NET Framework 4 0 Vb 2010 C 2010 And Asp NET 4 0 With CD
₹338 onwards
  • Vikas Gupta
How To Design Programs An Introduction To Programming And Computing 1st Edition
How To Design Programs An Introduction To Programming And Computing 1st Edition
₹345 onwards
  • Krishnamurthi Shriram, Flatt Matthew, Findler Robert Bruce, Felleisen Matthias
LabVIEW Advanced Programming Techniques With CDROM 0002 Edition
LabVIEW Advanced Programming Techniques With CDROM 0002 Edition
₹600 onwards
  • Taqi Mohiuddin, Matthew R. Nawrocki, Rick Bitter
Android Application Development for Java Programmers
Android Application Development for Java Programmers
₹1883 onwards
  • James Sheusi
PSP SM Self-Improvement Software Engin 1st Edition
PSP SM Self-Improvement Software Engin 1st Edition
₹800 onwards
  • Humphrey Watts
Scratch Programming for Teens With CDROM
Scratch Programming for Teens With CDROM
₹2766 onwards
  • Ford Jerry Lee Jr.
CMMI for Development Guidelines for Process Integration and Product Improvement 0003 Edition
CMMI for Development Guidelines for Process Integration and Product Improvement 0003 Edition
₹800 onwards
  • Sandy Shrum, Mary Beth Chrissis, Mike Konrad
An Introduction To Cryptography With Java Applets HRD Edition
An Introduction To Cryptography With Java Applets HRD Edition
₹4632 onwards
  • David Bishop
Teach Yourself Auto CAD 2007 2nd Edition
Teach Yourself Auto CAD 2007 2nd Edition
₹800 onwards
  • Mac Bride
A Short Course in Computational Science and Engineering
A Short Course in Computational Science and Engineering
₹4049 onwards
  • David Yevick
CMMI for Services Guidelines for Superior Service 0002 Edition
CMMI for Services Guidelines for Superior Service 0002 Edition
₹3000 onwards
  • Brandon L. Buteau, Sandy Shrum, Eileen C. Forrester
Mathematical Theory of Computation
Mathematical Theory of Computation
₹1225 onwards
  • Zohar Manna
Software Development Fundamentals Exam 98-361
Software Development Fundamentals Exam 98-361
₹4462.16 onwards
  • Roger Lewin
The Apache Modules Book Application Development with Apache
The Apache Modules Book Application Development with Apache
₹3959 onwards
  • Nick Kew
Microsoft NET Architecting Applications for the Enterprise
Microsoft NET Architecting Applications for the Enterprise
₹2004 onwards
  • Dino Esposito, Andrea Saltarello
12 Essential Skills for Software Architects
12 Essential Skills for Software Architects
₹2572 onwards
  • Dave Hendricksen
Software Engineering Modern Approaches 0002 Edition
Software Engineering Modern Approaches 0002 Edition
₹800 onwards
  • Eric J. Braude, Michael E. Bernstein
Certified Function Point Specialist Examination Guide
Certified Function Point Specialist Examination Guide
₹2396 onwards
  • David Garmus, Janet Russac, Royce Edwards
Agile Product Management with Scrum Creating Products That Customers Love
Agile Product Management with Scrum Creating Products That Customers Love
₹800 onwards
  • Roman Pichler
HTML and JavaScript Basics
HTML and JavaScript Basics
₹5688 onwards
  • Karl Barksdale, Shane Turner

Other Books By Zohar Manna :

Mathematical Theory of Computation
Mathematical Theory of Computation
₹1225 onwards
Temporal Verification of Reactive Systems Safety
Temporal Verification of Reactive Systems Safety
₹800 onwards
The Temporal Logic of Reactive and Concurrent Systems 1st Edition
The Temporal Logic of Reactive and Concurrent Systems 1st Edition
₹800 onwards
Lectures on the Logic of Computer Programming
Lectures on the Logic of Computer Programming
₹1255 onwards
The Temporal Logic of Reactive and Concurrent Systems Specification English
The Temporal Logic of Reactive and Concurrent Systems Specification English
₹10596 onwards

Other Books By Amir Pnueli :

The Temporal Logic of Reactive and Concurrent Systems Specification
The Temporal Logic of Reactive and Concurrent Systems Specification
₹10850 onwards
The Temporal Logic of Reactive and Concurrent Systems Specification 1st Edition
The Temporal Logic of Reactive and Concurrent Systems Specification 1st Edition
₹10985 onwards
The Temporal Logic of Reactive and Concurrent Systems Specification English
The Temporal Logic of Reactive and Concurrent Systems Specification English
₹10596 onwards
Big billion day flipkart 2019
Header
×
Text