Temporal Logics in Computer Science
Download or Read eBook Temporal Logics in Computer Science PDF 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.
| Author | : Stéphane Demri |
| Publisher | : Cambridge University Press |
| Total Pages | : 753 |
| Release | : 2016-10-13 |
| ISBN-10 | : 9781107028364 |
| ISBN-13 | : 1107028361 |
| Rating | : 4/5 (64 Downloads) |
Book Synopsis Temporal Logics in Computer Science by : Stéphane Demri
Book excerpt: A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
