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

Sonraí Bibleagrafaíochta
Príomhúdar: Yoeli, Michael
Formáid: Printed Book
Teanga:English
Foilsithe: New Jersey John Wiley & Sons 2008
Ábhair:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Sonraí sealbhúcháin ó UL
Gairmuimhir: 621.3.049.77 YOE
Cóip Live Status Unavailable

Míreanna Comhchosúla