Logic synthesis and verification algorithms:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Hachtel, Gary D. (VerfasserIn), Somenzi, Fabio (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: New York Springer 2006
Ausgabe:1. softcover ed.
Schlagwörter:
Links:http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014721301&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:XXXII, 564 S. Ill., graph. Darst.
ISBN:0387310045
9780387310046