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

Bibliografische gegevens
Hoofdauteur: Yoeli, Michael
Formaat: Printed Book
Taal:English
Gepubliceerd in: New Jersey John Wiley & Sons 2008
Onderwerpen:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Exemplaargegevens van UL
Plaatsingsnummer: 621.3.049.77 YOE
Kopie Status is onbeschikbaar

Gelijkaardige items