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)) - Books - John Wiley & Sons Inc - 9780471704492 - April 15, 2008
In case cover and title do not match, the title is correct

Yoeli, Michael (Department of Computer Science, Technion (Israel))
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Wiley Series on Parallel and Distributed Computing

Price
$ 146.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 25 - Jul 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 April 15, 2008
ISBN13 9780471704492
Publishers John Wiley & Sons Inc
Pages 248
Dimensions 163 × 243 × 22 mm   ·   544 g
Language English  

Mere med samme udgiver

See all of Yoeli, Michael (Department of Computer Science, Technion (Israel)) ( e.g. Hardcover Book )