Logic synthesis and verification algorithms

Includes bibliographical references and index

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Hachtel, Gary D
Drugi avtorji: Somenzi, Fabio
Format: Knjiga
Jezik:Undetermined
Izdano: New York Springer 2006
Teme:
Online dostop:http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=35611
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một