Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions ebook
Par sheats mimi le mercredi, mai 15 2013, 18:45 - 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
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
MORE EBOOKS:
Tags: Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions ebook pdf epub djvu mobi rar
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions pdf epub djvu free download
Download Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions free ebook pdf epub
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions read online free book
buy Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions cheap ebook for kindle and nook
C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre CastГ©ran, Yves Bertot ebooks and audio books
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions download pdf epub rar rapidshare mediafire fileserve 4shared torrent depositfiles scribd