Shelfclass_id |
3.A |
Sortkey |
FMCAD |
Authors |
Mandayam Srivas, Albert Camilleri |
Title |
FMCAD 1996: Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings |
Publisher |
Springer |
Year |
c1996 |
Languages |
eng |
Isbn |
3540619372 |
Series |
Lecture Notes in Computer Science |
Volume |
1166 |
Issn |
0302-9743 |
Description |
ix, 470 p. ill. 24 cm. |
Record date |
20090914 |
Location |
New York |
Keywords |
Digital integrated circuits, Automatic theorem proving, Integrated circuits, Computer engineering, Formal methods (Computer science) |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/96039129-d.html |