شماره ركورد

46712

شماره مدرك

4383565

نويسنده/تنالگان

Erik Seligman

عنوان

Formal Verification : An Essential Toolkit for Modern VLSI Design

اطلاعات نشر

Elsevier

سال نشر

2015

شابك

9780128007273 ; 9780128007273 ; 9780128008157 ; 9780128008157