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
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | TK7874.C55 1993 | Off-site |
Details
- Additional Authors
- Description
- vi, 269 p. : ill.; 24 cm.
- Subjects
- ISBN
- 354056778X (Berlin : acid-free paper)
- 038756778X (New York : acid-free paper)
- LCCN
- 93199765 //r93
- Owning Institutions
- Princeton University Library