Formal methods for VLSI disign
/ edited by Jorgen Staunstrup
Formal methods for VLSI disign
Author
/ edited by Jorgen StaunstrupEdition 1
0-444-88858-6
list
شناسنامه
Title and Author
Formal methods for VLSI disign / / edited by Jorgen StaunstrupPublication Details
Amsterdam, New York : : North - Holland؛ نیویورک : : Distributors for the U.S. and Canada, Elsevier Science Pub.co، 1990م = 1990مPhysical Description
329 p.؛ ; 24 cm؛ : ill..Subject
Integrated CircuitsVery large scale integration
Design and construction
Data processing
Computer
aided
Integrated Circuits
Large scale integration
Testing
Added Identifiers
Staunstrup, J. (Jorgen), 1952 -، نویسنده .
IFIP WG 10.5، نویسنده .
Danmarks tekniske hojskole، نویسنده .
IFIP WG 10.5، نویسنده .
Danmarks tekniske hojskole، نویسنده .
Language
انگلیسیRetrieval Number
Congress:
انگليسي.
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.
