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: ![]()
![]()
![]()
![]()
![]()
![]()
preigu.de
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
21-04-2026 03:23:39
Gesponsert
Galaxus.de
Interactive Theorem Proving and Program Development, Fachbücher
Galaxus.de
20-04-2026 14:16:55
SpringerLink DE 
