Mechanizing Proof
By: Mackenzie, Donald.
Material type:
BookPublisher: London: MIT Press, 2001Description: 427 p.; Index.: 24 cm.ISBN: 9780262133937 .Subject(s): clocks and chips | logics | eden defield | Artificial Mathematicians | Covert ChannelsDDC classification: 004.21
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.21 MAC (Browse shelf) | Available | 002820 |
Browsing DAIICT Shelves Close shelf browser
| 004.21 LAN Analysis and Design of Information Systems | 004.21 LAN Analysis and design of information systems | 004.21 LOW Thoughtful interaction design : a design perspective on information technology | 004.21 MAC Mechanizing Proof | 004.21 MAR Embedded system design | 004.21 MUL SystemC : methodologies and applications | 004.21 PAP Information system development : towards a services provision society |
There are no comments for this item.