Isabelle/HOL
58,84 € (inkl. MwSt.)
54,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-43376-7 (Buch)
- Erscheinungstermin: 03.04.2002
- Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.)
54,99 € (zzgl. MwSt.)
- |
- 1