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