Research Catalog

Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings /

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

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library TK7874.C55 1993Off-site

Details

Additional Authors
  • Milne, George J., 1952-
  • Pierre, Laurence.
Description
vi, 269 p. : ill.; 24 cm.
Subject
  • Computer-aided design > Congresses
  • Integrated circuits > Design and construction > Data processing > Congresses
  • Integrated circuits > Verification > Congresses
ISBN
  • 354056778X (Berlin : acid-free paper)
  • 038756778X (New York : acid-free paper)
LCCN
93199765 //r93
Owning Institutions
Princeton University Library