Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

Dades bibliogràfiques
Autor principal: Yoeli, Michael
Format: Printed Book
Idioma:English
Publicat: New Jersey John Wiley & Sons 2008
Matèries:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Detall dels fons de UL
Signatura: 621.3.049.77 YOE
Còpia Comprovació en temps real no disponible

Ítems similars