Verification of systems and circuits using LOTOS, Petri Nets, and CCS
tarafından
 
Yoeli, Michael, 1917-

Başlık
: 
Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Yazar
: 
Yoeli, Michael, 1917-

ISBN
: 
9780470253397
 
9780470253410

Yayın Bilgileri
: 
Hoboken, N.J. : Wiley-Interscience, c2008.

Fiziksel Tanımlama
: 
1 online resource (xv, 231 p.) : ill.

Seri
: 
Wiley series on parallel and distributed computing

Seri Başlığı
: 
Wiley series on parallel and distributed computing

Konu Terimleri
: 
Integrated circuits -- Verification.
 
Computer software -- Verification.
 
LOTOS (Computer program language)
 
Petri nets.

Tür
: 
Electronic books.

Yazar Ek Girişi
: 
Kol, Rakefet.

Elektronik Erişim
: 
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


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap297616-1001ONLINEElektronik Kütüphane