Yoeli, Michael

Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Hoboken: Wiley-Interscience, 2008 - xv, 231 p.; ill.: 25 cm. - Wiley series on parallel and distributed computing .

9780471704492 (hbk)


Computer software -- Verification
Integrated circuits -- Verification
LOTOS (Computer program language)
Petri nets

621.381548 / YOE

Powered by Koha