Temporal Logics in Computer Science (English, Stéphane Demri | Valentin Goranko | Martin Lange)
by Stéphane Demri | Valentin Goranko | Martin Lange
Delivery options
₹16,513
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹16,513
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9781107028364
ISBN-10
1107028361
Author
Stéphane Demri | Valentin Goranko | Martin Lange
About the Book
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computa…
ISBN: 9781107028364
ISBN-13: 9781107028364
ISBN-10: 1107028361
Frequently Asked Questions
What is the price of Temporal Logics in Computer Science?
Temporal Logics in Computer Science starts from ₹16513 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Temporal Logics in Computer Science?
Stéphane Demri | Valentin Goranko | Martin Lange is the author of Temporal Logics in Computer Science. Browse more books by Stéphane Demri | Valentin Goranko | Martin Lange on BookBajar.
Is Temporal Logics in Computer Science available in Paperback and Hardcover?
Yes, Temporal Logics in Computer Science is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Temporal Logics in Computer Science?
Yes, BookBajar offers free delivery for Temporal Logics in Computer Science across India. No minimum order value required.
Is Cash on Delivery available for Temporal Logics in Computer Science?
Yes, Cash on Delivery (COD) is available for Temporal Logics in Computer Science on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781107028364
🛒 Customers Also Bought
Telekommunikation Für Den Menschen / Human Aspects of Telecommunication (English, Eberhard Witte | Eberhard Witte | Peter Welchowski)
₹4,057
Feldpostbriefe 1914-1915 (English, Hermann Sparr)
₹4,166
Privatrecht Und Polizei in Preußen (English, Johannes Biermann)
₹4,185
Die Numerisch Gesteuerte Radial-Umformmaschine Und Ihr Einsatz Im Rahmen Einer Flexiblen Fertigung (English, P. Metzger)
₹4,177
World Court Digest (English, Rainer Hofmann | Juliane Kokott | Karin Oellers-Frahm)
₹4,183
Modern Jurisprudence: A Philosophical Guide (English, Paperback, Sean Coyle)
₹3,074Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883