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

Dettagli Bibliografici
Autore principale: Yoeli, Michael
Natura: Printed Book
Lingua:English
Pubblicazione: New Jersey John Wiley & Sons 2008
Soggetti:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Dettagli sul posseduto da UL
Collocazione: 621.3.049.77 YOE
Copia Status in tempo reale non disponibile

Documenti analoghi