Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant
By: Chlipala, Adam
Language: English Publisher: Cambridge The MIT Press 2013Description: xii, 424pISBN: 9780262545747Subject(s): Automatic theorem proving- Computer programs | Computer programming | Coq(Electronic resource)DDC classification: 005.1 CHL/CItem type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | Central Library General Stack (Sahyadri Campus) | 005.1 CHL/C | Available | 07631 | ||
Book | Central Library General Stack (Nila Campus) | 005.1 CHL/C | Available | 07250 | ||
Reference | Central Library Reference (Sahyadri Campus) | Reference | 005.1 CHL/C | Not for loan | 07249 |