Certified Programming with Dependent Types

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

2/5
Yeroo jalqabaaf maxxanfame
2013
Maxxansitoota
MIT Press
Afaan
English

Kitaabota

Kitaabonni walfakkaatan