Verification of systems and circuits using LOTOS, Petri Nets, and CCS /

Afficher d'autres versions (2)

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.

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Yoeli, Michael, 1917-
Autres auteurs: Kol, Rakefet
Format: Électronique eBook
Langue:Inglés
Publié: Hoboken, N.J. : Wiley-Interscience, ©2008.
Collection:Wiley series on parallel and distributed computing.
Sujets:
Integrated circuits > Verification.
Computer software > Verification.
LOTOS (Computer program language)
Petri nets.
Computer programs > Verification.
Circuits intégrés > Vérification.
Logiciels > Vérification.
LOTOS (Langage de programmation)
Réseaux de Pétri.
TECHNOLOGY & ENGINEERING > Electronics > Circuits > Integrated.
TECHNOLOGY & ENGINEERING > Electronics > Circuits > General.
Accès en ligne:Texto completo (Requiere registro previo con correo institucional)

Internet

Texto completo (Requiere registro previo con correo institucional)

Error inesperado del formato de respuesta.
Informations d'exemplaires de

Documents similaires