Logic synthesis and verification algorithms

Includes bibliographical references and index

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Hachtel, Gary D
Beste egile batzuk: Somenzi, Fabio
Formatua: Liburua
Hizkuntza:Undetermined
Argitaratua: New York Springer 2006
Gaiak:
Sarrera elektronikoa:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=35611
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Deskribapena
Gaia:Includes bibliographical references and index
Deskribapen fisikoa:xxxii, 564 p.