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

Bibliografiska uppgifter
Huvudupphovsman: Yoeli, Michael
Materialtyp: Printed Book
Språk:English
Publicerad: New Jersey John Wiley & Sons 2008
Ämnen:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Beståndsuppgifter i UL
Signum: 621.3.049.77 YOE
Exemplar Status otillgänglig

Liknande verk