Conte aos seus amigos sobre este item:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 17 de outubro de 2012 |
| ISBN13 | 9781461269502 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 427 |
| Dimensões | 156 × 234 × 22 mm · 616 g |
| Idioma | Inglês |