Certified programming with dependent types: A pragmatic introduction to the coq proof assistant [ Livre] / Adam, Chlipala

Auteur principal: Chlipala, AdamLangue: 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 automatique
Current 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

Powered by Koha