Ebooks de Rakefet Kol en PDF

1 Livre(s)
Télécharger le livre : Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Ajouter à ma liste d'envies
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Rakefet Kol , Michael Yoeli
A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful...

Editeur : Wiley-Interscience
Parution : 2008-03-28
Collection : Wiley Series on Parallel and Distributed Computing
PDF

138,15 €