Bücher von Bertot, Yves
Diese Seite ist ganz dem Autor Bertot, Yves gewidmet. Wir haben
uns bemüht, alle derzeit lieferbaren Titel von Bertot, Yves zusammenzustellen.
Selbstverständlich steht mit
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
der derzeit meistgelesene Titel von Bertot, Yves auch bei uns an oberster Stelle. Kennen Sie bereits Werke von Bertot, Yves?
Oder entdecken Sie Bertot, Yves gerade erst neu? In jedem Fall wünschen wir Ihnen viel Spaß mit Ihrem nächsten
Buch. Dürfen wir Ihnen vielleicht einmal ein ganz anderes Buch empfehlen? Dann würden wir uns freuen, wenn Sie unsere persönlichen
Empfehlungen auf der Startseite der
Bücher.World beachten. Oder Sie lassen sich von
unserer aktuellen
Bestseller-Liste inspirieren.
In jedem Fall: Lesen Sie! Schließlich sind gute Bücher und gute Freunde die wichtigsten Wegbegleiter im Leben.
-von-Bertot,-Yves-738461305.jpg "Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)")
-von-Bertot,-Yves-723645949.jpg "Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)")