ECU Libraries Catalog

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.).

Author/creator Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles, France)
Format Book and Print
Publication InfoBerlin ; New York : Springer-Verlag, ©1993.
Descriptionvi, 269 pages : illustrations ; 24 cm.
Subject(s)
Integrated circuits--Design and construction --Data processing --Congresses.
Computer-aided design--Congresses.
Computer software--Verification --Congresses.
Other author/creatorMilne, George J., 1952-
Other author/creatorPierre, Laurence.
Other author/creatorESPRIT Working Group 6018 "CHARME-2."
Other author/creatorIFIP WG 10.2.
Other author/creatorUniversité de Provence.
Series Lecture notes in computer science ; 683
Lecture notes in computer science 683. ^A466336
General note"Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France)"--Foreword.
General note"Organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille), in cooperation with IFIP WG10.2"--Foreword.
Bibliography noteIncludes bibliographical references.
Other titleCHARME '93.
ISBN354056778X (Springer-Verlag Berlin)
ISBN038756778X (Springer-Verlag New York)

Available Items

Library Location Call Number Status Item Actions
Joyner General Stacks TK7874 .A3353 1993 ✔ Available Place Hold
East Carolina University
East Fifth Street | Greenville, NC 27858-4353 USA | 252.328.6131 | Contact Webmaster