عنوان
پدید آورنده
موضوع
رده
TK 7874 .F65 1990
TK
7874
.
F65
1990
کتابخانه
محل استقرار
(U. S. )
0-444-88858-6
IR
78063
انگلیسی
IR
Formal methods for VLSI disign
[Book]
: IFIP WG 10.5 lecture notes
/ edited by Jorgen Staunstrup
Amsterdam, New York
New York, N.Y., U. S. A.
: North - Holland
: Distributors for the U.S. and Canada, Elsevier Science Pub.co
, 1990
, 1990
329 p.
: ill.
; 24 cm
انگليسي
Written for the international summer school organized by the computer Science Dept. of the Technical University of Denmark and held in June 1990
Includes bibliographical referecnes
Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing
Computer -- aided
Integrated Circuits -- Large scale integration -- Testing
TK
7874
.
F65
1990
Staunstrup
IFIP WG 10.5
Danmarks tekniske hojskole
, J. (Jorgen)
, 1952 -
Iran
Central Library Of Tehran University
Old cataloging
BL
1
Y
