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

Xehetasun bibliografikoak
Egile nagusia: Yoeli, Michael
Formatua: Printed Book
Hizkuntza:English
Argitaratua: New Jersey John Wiley & Sons 2008
Gaiak:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Aleari buruzko argibideak UL
Sailkapena: 621.3.049.77 YOE
Alea Egoera zuzenean ez dago erabilgarri

Antzeko izenburuak