Yazar
Malay Ganai
1 cilt bulundu.
Cilt sonuçları
SAT-based scalable formal verification solutions
Malay Ganai · Springer
345 sayfa · 2007
Verification / Integrated circuits / Systems engineering / Computer engineering / Computer-aided design
Yükleniyor