Research Catalog
Current trends in hardware verification and automated theorem proving
- Title
- Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahmanyam, editors.
- Publication
- New York : Springer-Verlag, c1989.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 90-1572 | Offsite |
Details
- Additional Authors
- Description
- viii, 489 p. : ill.; 25 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 90-1572
- ISBN
- 0387969888 (alk. paper)
- LCCN
- 89006049
- OCLC
- 19395216
- NYPG90-B79784
- Title
- Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahmanyam, editors.
- Imprint
- New York : Springer-Verlag, c1989.
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Birtwistle, G. M. (Graham M.)Subrahmanyam, P. A.
- Research Call Number
- JSE 90-1572