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

Podrobná bibliografie
Hlavní autor: Yoeli, Michael
Médium: Printed Book
Jazyk:English
Vydáno: New Jersey John Wiley & Sons 2008
Témata:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Informace o exemplářích z: UL
Signatura: 621.3.049.77 YOE
Jednotka Neznámá aktuální dostupnost

Podobné jednotky