
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 | English |
Ver tudo de J C Bradfield ( por exemplo Paperback Book )