Programming
Temporal Logics in Computer Science (English, Stéphane Demri | Valentin Goranko | Martin Lange)
₹4,334
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Book Specifications
| ISBN-13 | 9781107028364 |
| ISBN-10 | 1107028361 |
| Publisher | Cambridge University Press |
| Category | Programming |
Frequently Asked Questions
What is the price of Temporal Logics in Computer Science?
Temporal Logics in Computer Science is available at ₹4,334 on BookShops.in.
Does BookShops.in offer free delivery for Temporal Logics in Computer Science?
FREE delivery on all orders for Temporal Logics in Computer Science.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Temporal Logics in Computer Science?
BookShops.in offers a 15-day hassle-free return policy for Temporal Logics in Computer Science. Contact us at support@bookshops.in or call +91 95575 56855.
Is Temporal Logics in Computer Science authentic?
Temporal Logics in Computer Science is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Computer Science and Applications: Proceedings of the 2014 Asia-Pacific Conference on Computer Science and Applications (CSAC 2014), 27-28 December 2014, Shanghai, China | by Ally Hu | CRC Pr I Llc | English | 1st Edition
₹5,113
Programming
INTRODUCTION TO PYTHON FOR SCIENCE AND ENGINEERING, 1ST EDITION | by David J. Pine | CRC Press | English | 1st Edition
₹4,226
Programming
Programming the Built Environment (Routledge Revivals) | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge
₹4,757
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms | by Thomas Back | Thomas Bdck | Thomas B?ck | OUP USA | English | 1st Edition
₹4,291
Programming
Programming In C 2/E | by Pradip Dey, amp; Manas Ghosh | Oxford | English | Second Edition
₹998
Related Products
View AllProgramming
Computer Science and Applications: Proceedings of the 2014 Asia-Pacific Conference on Computer Science and Applications (CSAC 2014), 27-28 December 2014, Shanghai, China | by Ally Hu | CRC Pr I Llc | English | 1st Edition
₹5,113
Programming
INTRODUCTION TO PYTHON FOR SCIENCE AND ENGINEERING, 1ST EDITION | by David J. Pine | CRC Press | English | 1st Edition
₹4,226
Programming
Programming the Built Environment (Routledge Revivals) | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge
₹4,757
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms | by Thomas Back | Thomas Bdck | Thomas B?ck | OUP USA | English | 1st Edition
₹4,291
Programming
Programming In C 2/E | by Pradip Dey, amp; Manas Ghosh | Oxford | English | Second Edition
₹998