Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant Adam Chlipala (Assistant Professor, Massachusetts Institute of Technology)
Malheureusement, nous ne proposons pas encore de résumé pour cet article
Certified Programming with Dependent Types
Certified Programming with Dependent Types
Certified Programming with Dependent Types Résumé
Informations supplémentaires
GOR011516745
9780262026659
0262026651
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant Adam Chlipala (Assistant Professor, Massachusetts Institute of Technology)
Occasion - Très bon état
Relié
MIT Press Ltd
20131206
440
N/A
La photo du livre est présentée à titre d'illustration uniquement. La reliure, la couverture ou l'édition réelle peuvent varier.
Il s'agit d'un livre d'occasion - par conséquent, il a été lu par quelqu'un d'autre et il présente des signes d'usure et d'utilisation antérieure. Dans l'ensemble, nous nous attendons à ce qu'il soit en très bon état, mais si vous n'êtes pas entièrement satisfait, veuillez prendre contact avec nous.