Tell your friends about this 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))
Price
HK$ 1,152
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Oct 28 - Nov 9
Christmas presents can be returned until 31 January
Get notified about new Yoeli, Michael (Department of Computer Science, Technion (Israel)) releases
Our customers say:
Add to your iMusic wish list
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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | March 7, 2008 |
| ISBN13 | 9780471704492 |
| Publishers | John Wiley & Sons Inc |
| Pages | 248 |
| Dimensions | 163 × 243 × 22 mm · 544 g |
| Language | English |
