Bücher nach ISBN > Springer > Castéran, Pierre

Castéran, Pierre

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions978-3-54O-2O854-9
(3-54O-2O854-2)		2004Yves Bertot

C.P. · C. Pierre · Pierre Castéran

CASTI Publishing