Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 3 Seite 1 von 1 Filter
Howar / Huisman

Tests and Proofs  

Tests and Proofs
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
Howar / Huisman

Tests and Proofs

  • Verlag: Springer International Publishing
  • ISBN: 978-3-031-72043-7 (Buch)
  • Erscheinungstermin: 10.09.2024
  • Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)
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.)
Mints / Martin-Löf

COLOG-88  

COLOG-88
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Mints / Martin-Löf

COLOG-88

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-52335-2 (Buch)
  • Erscheinungstermin: 21.02.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach