Certified programming with dependent types: A pragmatic introduction to the coq proof assistant [ Livre] / Adam, Chlipala
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Hayward : MIT Press, 2013Description : 1 vol. (XII-424 p.)ISBN: 9780262026659.Classification: D ProgrammationSujet - Nom commun: Coq (logiciel) | Théorèmes -- Démonstration automatiqueCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | D CHL (Browse shelf) | Checked out | D Programmation | 03/06/2019 | 028623 |