SOUL Catalog فهرس المكتبة المركزية لجامعة 6 أكتوبر

Einfache Ansicht MARC ISBD

Lam, William K. C., , 1962-

Hardware design verification simulation and formal method-based approaches / [Book :] William K. Lam. - 1st.ed. - Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005. - xxv, 585 p. : ill. ; 24 cm. - Prentice Hall modern semiconductor design series .

All age.

ISBN: 0131433474

Subjects--Topical Terms:
Integrated circuits--Verification.

Dewey Class. No.: 621.392

National Library of Medicine Call No.: 621.392 / LH