Higher Order Logic and Hardware Verification
By: Melham, T. F.
Material type:
BookSeries: Cambridge Tracts in Theoretical Computer Science.Publisher: Cambridge Cambridge University Press 1993Description: xiii, 165p.ISBN: 978-0-521-41718-1.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 511.30285 MEL (Browse shelf) | Available | 506410 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 511.3 WHI (Ref.) Principia mathematica v - 3 | 511.3 WOO Paradox and Paraconsistency: Conflict resolution in the abstract sciences | 511.30223 SHI The Logical Status of Diagrams | 511.30285 MEL Higher Order Logic and Hardware Verification | 511.3028563 WOS (Ref.) The collected works of Larry Wos - V - 1: Exploring the power of automated reasoning | 511.3028563 WOS (Ref.) The collected works of Larry Wos - V - 2: Applying automated reasoning to puzzles, problems and open questions | 511.313 BAL Lectures on fuzzy and fuzzy susy physics |
There are no comments for this item.