Verification of systems and circuits using LOTOS, Petri Nets, and CCS
By: Yoeli, Michael.
Contributor(s): Kol, Rakefet.
Material type:
BookSeries: Wiley series on parallel and distributed computing.Publisher: Hoboken: Wiley-Interscience, 2008Description: xv, 231 p.; ill.: 25 cm.ISBN: 9780471704492 .Subject(s): Computer software -- Verification | Integrated circuits -- Verification | LOTOS (Computer program language) | Petri netsDDC classification: 621.381548
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 621.381548 YOE (Browse shelf) | Available | 025623 |
There are no comments for this item.