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
28-10-2026 16:43:33
Gesponsert
Galaxus.de
Interactive Theorem Proving and Program Development, Fachbücher
Galaxus.de
29-10-2026 14:14:23
SpringerLink DE 
Hugendubel 
