Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / 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. : illSubject(s): Genre/Form: DDC classification: - 621.3815/48 22
- TK7874.58 .Y64 2008
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Ebook | TUS: Midlands, Main Library Athlone Online | eBook (Browse shelf(Opens below)) | Available |
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.