MPG.eBooks - Search Results - "Software Engineer"

Search alternatives:
software engineer » software engineers , software engineering , software reengineering

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: “...Software engineering...”