-
Deutschland
Land International
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Ein praxisorientiertes Lehrbuch, das den Coq-Prover als Werkzeug für formale Beweisführung und Softwareentwicklung präsentiert; es führt durch die ...
Gesponsert
Medimops DE
82.79 EUR
Preis aktualisiert am: 26-10-2026 11:01:26
Gesponsert
Galaxus.de
85.59 EUR
Preis aktualisiert am: 27-10-2026 01:20:27
Gesponsert
Hugendubel
90.99 EUR
Preis aktualisiert am: 27-10-2026 04:36:51
Gesponsert
SpringerLink DE
100.50 EUR
Preis aktualisiert am: 25-10-2026 18:29:14
Allgemein
Marke
Yves Bertot
ISBN
Yves Bertot 3642058809
