Image from Amazon.com
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.
Material type:
TextSeries: Wiley series on parallel and distributed computingPublication details: Hoboken, N.J. : Wiley-Interscience, c2008.Description: xv, 231 p. : ill. ; 25 cmISBN: - 0471704490 (cloth)
- 9780471704492 (cloth)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | TK7874.58 .Y64 2008 (Browse shelf(Opens below)) | 1 | Available | 0000033962 |
Includes bibliographical references and index.