Conte aos seus amigos sobre este item:
SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de Gerard Holzmann
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
SPIN Model Checker, The: Primer and Reference Manual
Gerard Holzmann
608 pages
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 13 de junho de 2011 |
| ISBN13 | 9780321773715 |
| Editoras | Pearson Education (US) |
| Páginas | 608 |
| Dimensões | 180 × 232 × 31 mm · 1,04 kg |
| Idioma | Inglês |
