The Locator -- [(subject = "Petri nets")]

107 records matched your query       

Record 16 | Previous Record | MARC Display | Next Record | Search Results
Author:
Yoeli, Michael, 1917-
Title:
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.
Publisher:
Wiley-Interscience,
Copyright Date:
c2008
Description:
xv, 231 p. : ill. ; 25 cm.
Subject:
Integrated circuits--Verification
Computer software--Verification
LOTOS (Computer program language)
Petri nets
Other Authors:
Kol, Rakefet
Notes:
Includes bibliographical references and index.
Series:
Wiley series on parallel and distributed computing
ISBN:
0471704490 (cloth)
9780471704492 (cloth)
OCLC:
(OCoLC)164570922
LCCN:
2007033487
Locations:
USUX851 -- ISU Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.