Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 4 Seite 1 von 1 Filter
Lewerentz / Lindner

Formal Development of Reactive Systems  

Formal Development of Reactive Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-58867-2 (Buch)
  • Erscheinungstermin: 26.01.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Song

Journal on Data Semantics XIII  

Journal on Data Semantics XIII
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-03097-0 (Buch)
  • Erscheinungstermin: 10.07.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Alblas / Melichar

Attribute Grammars, Applications and Systems  

Attribute Grammars, Applications and Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54572-9 (Buch)
  • Erscheinungstermin: 23.10.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nipkow / Paulson / Wenzel

Isabelle/HOL  

Isabelle/HOL
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Nipkow / Paulson / Wenzel

Isabelle/HOL

  • Verlag: Springer
  • ISBN: 978-3-540-43376-7 (Buch)
  • Erscheinungstermin: 03.04.2002
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
  • |
  • 1
  • |