Recomienda este artículo a tus amigos:
The Temporal Logic of Reactive and Concurrent Systems: Specification Zohar Manna
The Temporal Logic of Reactive and Concurrent Systems: Specification
Zohar Manna
427 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 17 de octubre de 2012 |
| ISBN13 | 9781461269502 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 427 |
| Dimensiones | 156 × 234 × 22 mm · 616 g |
| Lengua | Inglés |
Mas por Zohar Manna
Mostrar todoMere med samme udgiver
Ver todo de Zohar Manna ( Ej. Paperback Book y Hardcover Book )