logo
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) Temporal Logics in Computer Science: Finite-State Systems by Stéphane Demri, Valentin Goranko, Martin Lange ISBN 9781107028364, 1107028361

  • SKU: EBN-6747622
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

4.4

14 reviews
Instant download (eBook) Temporal Logics in Computer Science: Finite-State Systems after payment.
Authors:Stéphane Demri, Valentin Goranko, Martin Lange
Pages:752 pages.
Year:2016
Editon:1
Publisher:Cambridge University Press
Language:english
File Size:5.69 MB
Format:pdf
ISBNS:9781107028364, 1107028361
Categories: Ebooks

Product desciption

(Ebook) Temporal Logics in Computer Science: Finite-State Systems by Stéphane Demri, Valentin Goranko, Martin Lange ISBN 9781107028364, 1107028361

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 computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products