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.
