عنوان
پدید آورنده
موضوع
رده
TK 7874 .C685 1989
TK
7874
.
C685
1989
کتابخانه
محل استقرار
91703
آخر۲۷
English
)20(
Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
Berlin; New York
Springer-Verlag
1990
vi, 402 p.: ill.; 25 cm
Lecture notes in computer science
408
Includes bibliographical references
Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing
Congresses ، Integrated circuits-- Verification
TK
7874
.
C685
1989
AU
M. Leeser, G. Brown, eds.; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 9891 proceedings
AU (mairiM).M ,reseeL 1958-
AU (yerffoeG).G ,nworB 1960-
CO Cornell University. Mathematical Sciences Institute
TI
SE
Cornell University. Mathematical Sciences Institute. Workshop )1989(
02
