Digital system verification a combined formal methods and simulation framework
tarafından
 
Li, Lun, 1970-

Başlık
: 
Digital system verification a combined formal methods and simulation framework

Yazar
: 
Li, Lun, 1970-

ISBN
: 
9781608451791

Yayın Bilgileri
: 
[San Rafael, Calif.] : Morgan & Claypool Publishers, c2010.

Fiziksel Tanımlama
: 
1 online resource (xiv, 79 p.) : ill.

Seri
: 
Synthesis lectures on digital circuits and systems, #27

Seri Başlığı
: 
Synthesis lectures on digital circuits and systems, 1932-3174 ; #27

Konu Terimleri
: 
Integrated circuits -- Verification.
 
Formal methods (Computer science)
 
Integrated circuits -- Computer simulation.

Yazar Ek Girişi
: 
Thornton, Mitchell Aaron.

Elektronik Erişim
: 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373


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