Conte aos seus amigos sobre este item:
Principles of Model Checking - Principles of Model Checking
Baier, Christel (Technische Universitat Dresden)
Preço
DKK 796,27
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 13 - 20 de mai
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Principles of Model Checking - Principles of Model Checking
Baier, Christel (Technische Universitat Dresden)
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
984 pages, illus.
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 25 de abril de 2008 |
| ISBN13 | 9780262026499 |
| Editoras | MIT Press Ltd |
| Páginas | 984 |
| Dimensões | 206 × 258 × 42 mm · 2,09 kg |
Ver tudo de Baier, Christel (Technische Universitat Dresden) ( por exemplo Hardcover Book )