شماره ركورد :
46712
شماره مدرك :
4383565
نويسنده/تنالگان :
Erik Seligman
عنوان :
Formal Verification : An Essential Toolkit for Modern VLSI Design
اطلاعات نشر :
Elsevier
سال نشر :
2015
شابك :
9780128007273 ; 9780128007273 ; 9780128008157 ; 9780128008157
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=46712
