Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions download pdf
Par wright robert le lundi, mai 27 2013, 23:17 - Lien permanent
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions
C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre CastГ©ran, Yves Bertot
Interactive.theorem.proving.and.program.development.Coq.Art.the.calculus.of.inductive.constructions.pdf
ISBN: 3540208542,9783540208549 | 497 pages | 13 Mb
Download eBook
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre CastГ©ran, Yves Bertot
Publisher: Springer
Pdf downloads:
Download House of Chains (The Malazan Book of the Fallen, Book 4) pdf
The Cabin in the Woods: The Official Movie Novelization epub
Hide and Seek ebook download