Yves Bertot
Beliebte Artikel von Yves Bertot
Alle Angebote anzeigen-
-
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Bertot, Yves; Castéran, Pierre
Artikelpreise ab
39 Angebote anzeigenEUR 32,83
