MPG.eBooks - Search Results - "Computer Programming"

Search alternatives:
computer programming » computer program , computer programs

Cover Image

1

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

by Bertot, Yves, Castéran, Pierre
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer programming...”