Reihe Texts in Theoretical Computer Science. An EATCS SeriesYves Bertot × Interactive Theorem Proving and Program DevelopmentCoq’Art: The Calculus of Inductive ConstructionsYves BertotSpringer BerlineBook201385,59 € Interactive Theorem Proving and Program DevelopmentCoq’Art: The Calculus of Inductive ConstructionsYves BertotSpringer BerlinSoftcover201085,59 € Interactive Theorem Proving and Program DevelopmentCoq’Art: The Calculus of Inductive ConstructionsYves BertotSpringer BerlinHardcover2004117,69 €
