-von-Bertot,-Yves-749868743.jpg "Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)")
Beschreibung
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) von Bertot, Yves im Online-Buchhandel:
-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)")
Bewerte das Buch
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste
Weitere Bücher von Bertot, Yves
-von-Bertot,-Yves-738461305.jpg?w=800 "Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)")
-von-Bertot,-Yves-738462674.jpg?w=800 "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?w=800 "Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)")
-von-Konrad-Koenigsberger-78594887.jpg "Analysis 1: Mit 250 Aufgaben mit Lösungen (Springer-Lehrbuch)")
-78825633.jpg "Montage in der industriellen Produktion: Ein Handbuch für die Praxis (VDI-Buch)")
-746624146.jpg "Security, Privacy, and Applied Cryptography Engineering: 14th International Conference, SPACE 2024, Kottayam, India, December 14–17, 2024, Proceedings (Lecture Notes in Computer Science, Band 15351)")
-von-Richard-Courant-72680537.jpg "Introduction to Calculus and Analysis I (Classics in Mathematics)")
-744101064.jpg "Case Studies in Strategic Management: How Executive Input Enables Students’ Development (Management for Professionals)")