Tous les ebooks de Michael Yoeli en PDF


1  résultat(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...

Parution : 2008-03-28
Format(s) : PDF
Éditeur : Wiley-Interscience
J'achète
138,15

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés