Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.)
(Lecture notes in computer science ; 901)
| Publisher | Berlin : Springer |
|---|---|
| Year | c1995 |
| Authors | Kumar, Ramayya, 1957- Kropf, Thomas, 1961- *IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (2nd : 1994 : Bad Herrenalb, Germany) |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Restricted Access Stacks |
|
SAe:55:901 | 129501116Q |
|
|
|
|
Hide details.
| Material Type | Books |
|---|---|
| Size | viii, 303 p. : ill. ; 24 cm |
| Other titles | spine title:TPCD'94 : theorem provers in circuit design |
| Notes | Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design Includes bibliographical references |
| Subjects | LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses
All Subject Search
LCSH:Automatic theorem proving -- Congresses All Subject Search LCSH:Computer-aided design -- Congresses All Subject Search |
| Classification | LCC:TK7874.65 DC20:621.39/2 |
| Language | English |
| ID | 0000322775 |
| ISBN | 3540590471 |
| NCID |
BA24686158 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：3times