23,99 €
Broschiertes Buch
Coq¿Art: The Calculus of Inductive Constructions
Softcover reprint of hardcover 1st ed. 2004
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-05880-6
Gebundenes Buch | 85,99 € |
Gebundenes Buch
Coq¿Art: The Calculus of Inductive Constructions
2004
14. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20854-9
22,99 €
Versandfertig in 6-10 Tagen
Broschiertes Buch
18. Mai 2016
Éditions universitaires européennes
16,99 €
Broschiertes Buch
1. September 2018
Hachette Livre
15,99 €
Broschiertes Buch
1. Juli 2017
Hachette Livre - BNF
Ähnlichkeitssuche: Fact®Finder von OMIKRON