Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
By: Yoeli, Michael
.
Contributor(s): Kol, Rakefet | ebrary, Inc.
Series: Wiley series on parallel and distributed computing. Publisher: Hoboken, N.J. : Wiley-Interscience, c2008Description: xv, 231 p. : ill. ; 25 cm.Subject(s): Integrated circuits -- Verification | Computer software -- Verification | LOTOS (Computer program language) | Petri netsGenre/Form: Electronic books. DDC classification: 621.3815/48 Online resources: An electronic book accessible through the World Wide Web; click to view
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 621.3815/48 (Browse shelf) | Available |
Includes bibliographical references and index.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.