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

The Temporal Logic of Reactive and Concurrent Systems Specification - 9781461269502

N/A
₹10850
See all Prices
See Price Trend

About the Book :

  • Language : English
  • Binding : Paperback
  • Contributors : Amir Pnueli, Zohar Manna

The Temporal Logic of Reactive and Concurrent Systems Specification Details :

DETAILS

  • Language : English
  • Binding : Paperback
  • Contributors : Amir Pnueli, Zohar Manna
Read The Full Specification

The Temporal Logic of Reactive and Concurrent Systems Specification Price History

  • The best price for The Temporal Logic of Reactive and Concurrent Systems Specification in India is Rs. as per June 28, 2024, 4:15 pm
  • 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

The Temporal Logic of Reactive and Concurrent Systems Specification Related Books :

Artificial Intelligence and Intelligent Systems 1st Edition
Artificial Intelligence and Intelligent Systems 1st Edition
₹387 onwards
  • N. P Padhy
Can We Afford to Grow Older
Can We Afford to Grow Older
₹1597 onwards
  • Richard Disney
Research and Development in Intelligent Systems XXIX Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012 the
Research and Development in Intelligent Systems XXIX Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012 the
₹19001 onwards
  • Paul Bausch, Matthew Haughey, Meg Hourihan
Handbook for Evaluating Knowledge-Based Systems Conceptual Framework and Compendium of Methods
Handbook for Evaluating Knowledge-Based Systems Conceptual Framework and Compendium of Methods
₹999 onwards
  • Sharon L. Riedel, Leonard Adelman, Sharon L. Riedel
Wissensbasierte Systeme 2 Internationaler GI-Kongress Munchen 20 21 Oktober 1987 German
Wissensbasierte Systeme 2 Internationaler GI-Kongress Munchen 20 21 Oktober 1987 German
₹4620 onwards
  • Brian Proffitt
Ontologie Und Axiomatik Der Wissensbasis Von Lilog Wissensmodellierung Im IBM Deutschland Lilog-Projekt German
Ontologie Und Axiomatik Der Wissensbasis Von Lilog Wissensmodellierung Im IBM Deutschland Lilog-Projekt German
₹4543 onwards
  • Andrea L. Ames, David R. Nadeau, John L. Moreland
Client Server-Anwendungen Planung Und Entwicklung German
Client Server-Anwendungen Planung Und Entwicklung German
₹4558 onwards
  • William H. Inmon
Inclusive Society Health and Wellbeing in the Community and Care at Home 11th International Conference on Smart Homes and Health Telematics Icost
Inclusive Society Health and Wellbeing in the Community and Care at Home 11th International Conference on Smart Homes and Health Telematics Icost
₹5672 onwards
  • Sharmin Rashid Linta, Ridgewan Khan, Faysal Ahmed
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr
₹4666 onwards
  • Dennis R. Cohan, Erica Sadun, Dennis R. Cohen
Logical Structures for Representation of Knowledge and Uncertainty
Logical Structures for Representation of Knowledge and Uncertainty
₹12940 onwards
  • Ellen Hisdal
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr
₹4666 onwards
  • Dennis R. Cohan, Erica Sadun, Dennis R. Cohen
Logical Structures for Representation of Knowledge and Uncertainty
Logical Structures for Representation of Knowledge and Uncertainty
₹12940 onwards
  • Ellen Hisdal
Softwareentwicklung Eingebetteter Systeme Grundlagen Modellierung Qualitatssicherung German
Softwareentwicklung Eingebetteter Systeme Grundlagen Modellierung Qualitatssicherung German
₹4688 onwards
  • Peter Scholz
Processing Declarative Knowledge International Workshop Pdk 91 Kaiserslautern Germany July 1-3 1991 Proceedings
Processing Declarative Knowledge International Workshop Pdk 91 Kaiserslautern Germany July 1-3 1991 Proceedings
₹7655 onwards
  • Miroslav Hari Majewski, M. Mohnen, T. Arts
Dependable Computing - Edcc 2005 5th European Dependable Computing Conference Budapest Hungary April 20-22 2005 Proceedings 1st Edition
Dependable Computing - Edcc 2005 5th European Dependable Computing Conference Budapest Hungary April 20-22 2005 Proceedings 1st Edition
₹800 onwards
  • Ann Shaffer, Patrick Carey, Roy Ageloff
Qualitative Spatio-Temporal Representation and Reasoning Trends and Future Directions
Qualitative Spatio-Temporal Representation and Reasoning Trends and Future Directions
₹13946 onwards
  • JOYCE, MOON
Advanced Topics in Artificial Intelligence International Summer School Prague Czechoslovakia July 6-17 1992 Proceedings
Advanced Topics in Artificial Intelligence International Summer School Prague Czechoslovakia July 6-17 1992 Proceedings
₹6820 onwards
  • Ernst L. Leiss
Evaluating Aal Systems Through Competitive Benchmarking International Competitions and Final Workshop Evaal 2012 July and September 2012 Revised S
Evaluating Aal Systems Through Competitive Benchmarking International Competitions and Final Workshop Evaal 2012 July and September 2012 Revised S
₹5606 onwards
  • Michael Jampel University Of London Uk, University Of New Hamp Eugene Freuder
Advances in Security Technology International Conference SecTech 2008 and Its Special Sessions Sanya Hainan Island China December 13-15 2008
Advances in Security Technology International Conference SecTech 2008 and Its Special Sessions Sanya Hainan Island China December 13-15 2008
₹3548 onwards
  • Wen-hong Zhu
Self-Organizing Systems 4th Ifip Tc 6 International Workshop Iwsos 2009 Zurich Switzerland December 9-11 2009 Proceedings
Self-Organizing Systems 4th Ifip Tc 6 International Workshop Iwsos 2009 Zurich Switzerland December 9-11 2009 Proceedings
₹5810 onwards
  • Axzo Press

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

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
Big billion day flipkart 2019
Header
×
Text