Koha online

HTML5 Icon

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/C
Item type Current location Collection Call number Status Date due Barcode
Book Book Central Library
General Stack (Nila Campus) 		005.1 CHL/C Checked out 18/06/2024 07631
Book Book Central Library
General Stack (Nila Campus) 		005.1 CHL/C Available 07250
Reference Reference Central Library
Reference (Sahyadri Campus) 		Reference 005.1 CHL/C Not for loan 07249

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.