Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1993 : Arles, Fr.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 269p.: ill., tables
SERIES
Other Title Information
Lecture notes in computer science; 386
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 354056778X
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
George J. Milne, Laurence Pierre )eds.(
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration
Entry Element
Congresses ، Integrated circuits -- Verification
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
683
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Milne, George J., 1952-
AU Pierre, Laurence
CO International Federation for Information Processing