Research Catalog

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

Title
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
Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles, France)
Publication
Berlin ; New York : Springer-Verlag, [1993], ©1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance TK7874 .A3353 1993gOff-site

Holdings

Details

Additional Authors
  • Milne, George J., 1952-
  • Pierre, Laurence.
  • ESPRIT Working Group 6018 "CHARME-2."
  • IFIP WG 10.2.
  • Université de Provence.
Description
vi, 269 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 683
Uniform Title
Lecture notes in computer science ; 683.
Alternative Title
CHARME '93.
Subjects
Note
  • "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.
Bibliography (note)
  • Includes bibliographical references.
ISBN
  • 354056778X (Springer-Verlag Berlin)
  • 038756778X (Springer-Verlag New York)
OCLC
  • 29389365
  • ocm29389365
Owning Institutions
Columbia University Libraries