Verification techniques for system-level design
tarafından
 
Fujita, Masahiro, 1956-

Başlık
: 
Verification techniques for system-level design

Yazar
: 
Fujita, Masahiro, 1956-

ISBN
: 
9780123706164

Yayın Bilgileri
: 
Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.

Fiziksel Tanımlama
: 
1 online resource (viii, 240 p.) : ill.

Seri
: 
The Morgan Kaufmann series in systems on silicon

Seri Başlığı
: 
The Morgan Kaufmann series in systems on silicon

Konu Terimleri
: 
Systems on a chip -- Testing.
 
Integrated circuits -- Verification.
 
Formal methods (Computer science)

Yazar Ek Girişi
: 
Ghosh, Indradeep, 1970-
 
Prasad, Mukul.

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164


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