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
- IFIP WG 10.2 Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles, France)
- Publication
- Berlin ; New York : Springer-Verlag, c1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 93-1148 | Offsite |
Details
- Additional Authors
- Description
- vi, 269 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 683
- Alternative Title
- CHARME '93.
- Subject
- Note
- Title on spine: CHARME '93.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 93-1148
- ISBN
- 038756778X (New York)
- 354056778X (Berlin)
- OCLC
- 29389365
- NYPG93-B54609
- Conference
- IFIP WG 10.2 Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles, France)
- 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.
- Imprint
- Berlin ; New York : Springer-Verlag, c1993.
- Series
- Lecture notes in computer science ; 683
- Bibliography
- Includes bibliographical references.
- Added Author
- Milne, George J., 1952-Pierre, Laurence.
- Added Title
- CHARME '93.
- Research Call Number
- JSE 93-1148