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

Bibliographische Detailangaben
1. Verfasser: Yoeli, Michael
Format: Printed Book
Sprache:English
Veröffentlicht: New Jersey John Wiley & Sons 2008
Schlagworte:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Bestandesangaben von UL
Signatur: 621.3.049.77 YOE
Exemplar Live-Status nicht verfügbar

Ähnliche Einträge