Povej prijatelju o tem izdelku:
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing Yoeli, Michael (Technion (Israel))
Cena
€ 137,99
Naročeno iz oddaljenega skladišča
Predvidena dobava 25. nov - 9. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Yoeli, Michael (Technion (Israel))
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 7. marca 2008 |
| ISBN13 | 9780471704492 |
| Založniki | John Wiley & Sons Inc |
| Strani | 248 |
| Dimenzije | 163 × 243 × 22 mm · 544 g |
| Jezik | Angleščina |
| Urednik serije | Zomaya, Albert Y. (University of Western Australia) |
