عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.408
QA
76
.
L28
Vol
.
408
کتابخانه
محل استقرار
Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
1989
Berlin
Springer-Verlag
1990
vi, 402p.: ill
Lecture notes in computer science; 804
Mathematical Sciences Institute Workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 Proceedings
Includes bibliographies
ISBN: 3540972269
M. Leeser, G. Brown, eds
1
Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
QA
76
.
L28
Vol
.
408
CA
TK
7874
.
C67
1989
AU
AU Leeser, Miriam, 1958-
AU Brown, Geoffrey, 1960-
TI
SE
Cornell University. Mathematical Science Institute. Workshop
