Yves Bertot: Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autor: Yves Bertot

paperback
Kategorie: Mathematische Grundlagen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Preis: 87.22 EUR
(Preis aktualisiert am 23.09.2024)

Kostenloser Versand nach Österreich, Deutschland, Schweiz und EU mehr

Bewertung der Leser und Kommentare: Amazon

Weitere Angebote

Auf der Suche nach einem günstigeren Preis...