eBook, PDF
14. März 2013
Springer Berlin Heidelberg
Broschiertes Buch | 59,99 € | |
Gebundenes Buch | 83,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
Coq¿Art: The Calculus of Inductive Constructions
2004
14. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20854-9
Broschiertes Buch
Softcover reprint of the original 1st ed. 1958
1. Juni 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-86617-3
eBook, PDF | 59,99 € |
Ähnlichkeitssuche: Fact®Finder von OMIKRON