Logic synthesis and verification algorithms /

Saved in:
Bibliographic Details
Main Authors: Hachtel, Gary D (Author), Somezi, Fabio (Author)
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, 1996
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a22000003a 4500
001 stu10432
005 20150617225804.8
008 980113s1996----xxu-----------------eng-d
020 |a 0-7923-9746-0 
040 |a STU  |b slo 
041 0 |a eng 
044 |a xxu 
080 |a 681.325.6 
080 |a 621.382.049.77 
084 |a B2570  |2 INS 
084 |a C5110  |2 INS 
084 |a C5120  |2 INS  |7 stu_us_auth*stu6735 
084 |a C5210  |2 INS 
084 |a C7410D  |2 INS 
100 1 |a Hachtel, Gary D  |4 aut 
245 1 |a Logic synthesis and verification algorithms /  |c [aut.] Hachtel,Gary D.; Somezi,Fabio 
260 |a Boston :  |b Kluwer Academic Publishers,  |c 1996 
300 |a 564 s 
650 7 |a logické obvody  |2 stusub 
650 7 |a VLSI  |2 stusub 
650 7 |a integrované obvody  |2 stusub 
650 7 |a syntéza obvodov  |2 stusub 
650 7 |a overovacie algoritmy  |2 stusub 
650 7 |a testovanie obvodov  |2 stusub 
700 1 |a Somezi, Fabio  |4 aut 
996 |c I*2V5134  |l I  |s A  |a 24  |w stu10432_0001