Research Catalog
Higher order logic and hardware verification
- Title
- Higher order logic and hardware verification / T. Melham.
- Author
- Melham, T. F. (Tom F.)
- Publication
- Cambridge ; New York : Cambridge University Press, 1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 95-872 | Offsite |
Details
- Description
- xiii, 165 p. : ill.; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 31
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [147]-157) and index.
- Call Number
- JSF 95-872
- ISBN
- 052141718X
- LCCN
- 94132457
- OCLC
- 29596034
- Author
- Melham, T. F. (Tom F.)
- Title
- Higher order logic and hardware verification / T. Melham.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1993.
- Series
- Cambridge tracts in theoretical computer science ; 31
- Bibliography
- Includes bibliographical references (p. [147]-157) and index.
- Indexed Term
- Mathematical logic
- Research Call Number
- JSF 95-872