Title:
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Author:
Yoeli, Michael, 1917-
ISBN:
9780470253397
9780470253410
Publication Information:
Hoboken, N.J. : Wiley-Interscience, c2008.
Physical Description:
1 online resource (xv, 231 p.) : ill.
Series:
Wiley series on parallel and distributed computing
Series Title:
Wiley series on parallel and distributed computing
Genre:
Added Author:
Electronic Access:
Available by subscription from Safari Books OnlineContributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 297616-1001 | ONLINE | Searching... | Searching... |