Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 1 Seite 1 von 1 Filter
Nipkow / Wenzel / Paulson

Isabelle/HOL  

Isabelle/HOL
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Nipkow / Wenzel / Paulson

Isabelle/HOL

  • 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
  • |
Filter
Anzahl pro Seite
Sortiert nach