Research Catalog

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Title: 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.
Publication: Berlin ; New York : Springer-Verlag, c1995.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 95-934	Offsite

Details

Additional Authors

Description

viii, 303 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 901

Subjects

Bibliography (note)

Includes bibliographical references.

Call Number

JSE 95-934

ISBN

3540590471 (Berlin : acid-free paper)
0387590471 (New York : acid-free paper)

LCCN

95005971

OCLC

32049817

Title

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.

Imprint

Berlin ; New York : Springer-Verlag, c1995.

Series

Lecture notes in computer science ; 901

Bibliography

Includes bibliographical references.

Added Author

Kumar, Ramayya, 1957-

Kropf, Thomas, 1961-

International Conference on Theorem Provers in Circuit Design (2nd : 1994 : Bad Herrenalb, Germany)

Research Call Number

JSE 95-934

View in Legacy Catalog