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/creator | CHARME '93 (1993 : Arles, France) |
| Other author/creator | Milne, George J., 1952- |
| Other author/creator | Pierre, Laurence. |
| Format | Electronic and Book |
| Publication Info | Berlin ; New York : Springer-Verlag, |
| Description | vi, 269 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Subject(s) |
Click here for more information about this title
| Series | Lecture notes in computer science ; 683 |
| Bibliography note | Includes bibliographical references. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 93199765 |
| ISBN | 354056778X (Berlin : acid-free paper) |
| ISBN | 038756778X (New York : acid-free paper) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Electronic Resources | View Online Content | ✔ Available |