Franklin

Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre, eds.

Publication:
Berlin ; New York : Springer-Verlag, c1993.
Conference Name:
CHARME '93 (1993 : Arles, France)
Series:
Lecture notes in computer science; 683
Lecture notes in computer science
Format/Description:
Conference/Event
Book
vi, 269 p. : ill. ; 24 cm.
Subjects:
Integrated circuits -- Design and construction -- Data processing -- Congresses.
Integrated circuits -- Verification -- Congresses.
Computer-aided design -- Congresses.
Notes:
Includes bibliographical references.
Contributor:
Milne, George J., 1952-
Pierre, Laurence.
ISBN:
354056778X (Berlin : acid-free paper)
038756778X (New York : acid-free paper)
OCLC:
29389365
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy