adicionar à lista de desejos
Temporal Logics In Computer Science
Finite-State Systems
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, October of 2016 ‧
see product details
SYNOPSIS
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. It is a solid professional reference for researchers in the field and a graduate textbook that can be used for self-study as well as for teaching courses.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781107028364 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | October of 2016 |
| Language: | English |
| Dimensions: | 174 x 247 x 20 mm |
| Cover: | Hardcover |
| Pages: | 752 |
| Format: | Book |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
Books in English
>
Computing
>
Other Applications
Books in English > Others |
| EAN: | 9781107028364 |
BOOKS FROM THE SAME COLLECTION
-
Initial Algebras And Terminal Coalgebras10%CAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
Topological Duality For Distributive Lattices10%CAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping
-
Temporal Logics10%CAMBRIDGE UNIVERSITY PRESS24,33€ 10% CARDfree shipping