Conte aos seus amigos sobre este item:
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science J C Bradfield
Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science
J C Bradfield
116 pages, black & white illustrations, bibliography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 25 de fevereiro de 2012 |
| ISBN13 | 9781468468212 |
| Editoras | Birkhauser |
| Páginas | 116 |
| Dimensões | 156 × 234 × 7 mm · 185 g |
| Idioma | Inglês |
Ver tudo de J C Bradfield ( por exemplo Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro