Library of American University of Madaba

Normal View MARC View ISBD View

Yoeli, Michael, 1917-

Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol. - Hoboken, N.J. : Wiley-Interscience, 2008. - xv, 231 p. : ill. ; 25 cm. - Wiley series on parallel and distributed computing .

Includes bibliographical references and index.

ISBN: 9780471704492 (cloth) 0471704490 (cloth)

Subjects--Topical Terms:
Integrated circuits--Verification.
Computer software--Verification.
LOTOS (Computer program language)
Petri nets.

LC Class. No.: TK7874.58

Dewey Class. No.: 621.381548 / Y64