Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Ein umfassendes Handbuch für formale Verifikation und Programmentwicklung, das den Coq-Prover nutzt, um mathematische Beweise in Software zu verankern; praxisnahe Beispiele zeigen die Kraft des Induktionskalküls.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Medimops DE
05-06-2026 18:56:17
preigu.de
Gesponsert
Galaxus.de
Interactive Theorem Proving and Program Development, Fachbücher
Galaxus.de
05-06-2026 11:21:10
SpringerLink DE Ähnliche Produkte
Interactive Theorem Proving
52.94 EUR
