Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by
 
Yoeli, Michael, 1917-

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

Subject Term
: 
Integrated circuits -- Verification.
 
Computer software -- Verification.
 
LOTOS (Computer program language)
 
Petri nets.

Genre
: 
Electronic books.

Added Author
: 
Kol, Rakefet.

Electronic Access
: 
Available by subscription from Safari Books Online
 
Contributor 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


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book297616-1001ONLINEElektronik Kütüphane