Digital system verification a combined formal methods and simulation framework

Eylem Seç

Başlık:

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:

Yazar Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	279164-1001	ONLINE	Arıyor... Unknown	Arıyor... Rafta