Conte aos seus amigos sobre este item:
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing Yoeli, Michael (Department of Computer Science, Technion (Israel))
Preço
R$ 788,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Yoeli, Michael (Department of Computer Science, Technion (Israel))
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing
Yoeli, Michael (Department of Computer Science, Technion (Israel))
This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.
232 pages, Illustrations
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 15 de abril de 2008 |
| ISBN13 | 9780471704492 |
| Editoras | John Wiley & Sons Inc |
| Páginas | 248 |
| Dimensões | 163 × 243 × 22 mm · 544 g |
| Idioma | Inglês |
