Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada /

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada /

Show other versions (2)
Bibliographic Details
Corporate Authors: International Conference on Correct Hardware and Verification Methods Montréal, Québec, IFIP WG10.5
Other Authors: Li, Hon F, Probst, D. K (David Karl), 1945-
Format: Conference Proceeding Book
Language:English
Published: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997
Subjects:
Computer engineering > Congresses
Computer software > Verification > Congresses
Integrated circuits > Congresses
Computer engineering
Computer software > Verification
Integrated circuits
Conference papers and proceedings

Internet

Cornell University

Holdings details from Cornell University
Call Number: TK7874 .A3378x 1997

Similar Items