| Shelfclass_id | 3.A |
| Sortkey | CHARME |
| Authors | Paolo E. Camurati, Hans Eveking |
| Title | CHARME 1995: Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings |
| Publisher | Springer |
| Year | 1995 |
| Languages | eng |
| Isbn | 3540603859, 9783540603856 |
| Series | Lecture Notes in Computer Science |
| Volume | 987 |
| Issn | 0302-9743 |
| Description | viii, 342 p. ill. 24 cm |
| Record date | 20101020 |
| Location | New York |
| Keywords | Integrated circuits, Very large scale integration, Computer-aided design, Verification |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0815/95039591-d.html |