Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

128.39 EUR

Marke: Springer

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Interactive Theorem Proving and Program Development

128.39 EUR 128.39 EUR

10-06-2026 10:53:38

Access to the deal