Pastāsti draugiem par šo preci:
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing Yoeli, Michael (Technion (Israel))
Cena
€ 146,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 2. - 16. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Yoeli, Michael (Technion (Israel)) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing
Yoeli, Michael (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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2008. gada 7. marts |
| ISBN13 | 9780471704492 |
| Izdevēji | John Wiley & Sons Inc |
| Lapas | 248 |
| Izmēri | 163 × 243 × 22 mm · 544 g |
| Valoda | Angļu |
| Sērijas redaktors | Zomaya, Albert Y. (University of Western Australia) |
