Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
(9783642058806)
Preis von (3 Angebote)82.79 EUR
Weitere Informationen
(9783642058806)
(9783540436133 / 1) | Algebraic and Coalgebraic Methods
(9783319207735 / 4 black & white illustrations, 36 colour)