Cover Image

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [as printed], May 24-26, 1993 : proceedings /

Bibliographic Details
Corporate Authors: Advanced Research Working Conference on Correct Hardware Design Methodologies Arles, France, ESPRIT Working Group 6018 "CHARME-2.", IFIP WG 10.2, Université de Provence
Other Authors: Milne, George J., 1952-, Pierre, Laurence
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1993]
Series:Lecture notes in computer science ; 683.
Subjects:
Integrated circuits > Design and construction > Data processing > Congresses.
Computer-aided design > Congresses.
Computer software > Verification > Congresses.
Description
Item Description:"Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France)"--Foreword.
"Organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille), in cooperation with IFIP WG10.2"--Foreword.
Physical Description:vi, 269 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographies.
ISBN:038756778X (Springer-Verlag Berlin)
354056778X (Springer-Verlag New York)