Formal methods for VLSI disign
/ edited by Jorgen Staunstrup
Formal methods for VLSI disign
المؤلف
/ edited by Jorgen Staunstrupطبع 1
0-444-88858-6
قائمة
شناسنامه
العنوان واسم المؤلف
Formal methods for VLSI disign / / edited by Jorgen Staunstrupبيانات النشر
Amsterdam, New York : : North - Holland؛ نیویورک : : Distributors for the U.S. and Canada, Elsevier Science Pub.co، 1990م = 1990مالمواصفات الشكلية
329 p.؛ ; 24 cm؛ : ill..الموضوع
Integrated CircuitsVery large scale integration
Design and construction
Data processing
Computer
aided
Integrated Circuits
Large scale integration
Testing
المعرّفات المضافة
Staunstrup, J. (Jorgen), 1952 -، نویسنده .
IFIP WG 10.5، نویسنده .
Danmarks tekniske hojskole، نویسنده .
IFIP WG 10.5، نویسنده .
Danmarks tekniske hojskole، نویسنده .
اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
انگليسي.
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.
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.
