Yazar
fmcad 96 1996 palo alto
1 cilt bulundu.
Cilt sonuçları
Formal methods in computer-aided design
FMCAD '96 (1996 Palo Alto, Calif.) · Springer
470 sayfa · 1996
Congresses / Computer-aided design / Digital integrated circuits / Computer engineering / Verification