Temporal Logics in Computer Science
| Author | : Stéphane Demri |
| Publisher | : Cambridge University Press |
| Total Pages | : 753 |
| Release | : 2016-10-13 |
| ISBN-13 | : 9781107028364 |
| ISBN-10 | : 1107028361 |
| Rating | : 4/5 (61 Downloads) |
Book Synopsis Temporal Logics in Computer Science by : Stéphane Demri
Download or read book Temporal Logics in Computer Science written by Stéphane Demri and published by Cambridge University Press. This book was released on 2016-10-13 with total page 753 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
