Logic synthesis and verification algorithms

Includes bibliographical references and index

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Hachtel, Gary D
Andere auteurs: Somenzi, Fabio
Formaat: Boek
Taal:Undetermined
Gepubliceerd in: New York Springer 2006
Onderwerpen:
Online toegang:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=35611
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Omschrijving
Samenvatting:Includes bibliographical references and index
Fysieke beschrijving:xxxii, 564 p.