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

Manylion Llyfryddiaeth
Prif Awdur: Yoeli, Michael
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: New Jersey John Wiley & Sons 2008
Pynciau:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Manylion daliadau o UL
Rhif Galw: 621.3.049.77 YOE
Copi Nid yw'r Statws Byw ar Gael

Eitemau Tebyg