Seite 44 von 47
Anzahl pro Seite
Sortiert nach
Produkte: 473 Seite 44 von 47 Filter
van der Pol / Weber

Model Checking Software  

Model Checking Software
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
van der Pol / Weber

Model Checking Software

  • Verlag: Springer
  • ISBN: 978-3-642-16163-6 (Buch)
  • Erscheinungstermin: 27.09.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Goos / Wulf / Evans

DIANA. An Intermediate Language for Ada  

DIANA. An Intermediate Language for Ada
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-12695-9 (Buch)
  • Erscheinungstermin: 01.12.1983
  • Lieferzeit ca. 10 Werktage
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
Proietti

Logic Program Synthesis and Transformation  

Logic Program Synthesis and Transformation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-60939-1 (Buch)
  • Erscheinungstermin: 06.03.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Davidson / Min

Languages, Compilers, and Tools for Embedded Systems  

Languages, Compilers, and Tools for Embedded Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-41781-1 (Buch)
  • Erscheinungstermin: 07.03.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Komendantskaya / Liu

Practical Aspects of Declarative Languages  

Practical Aspects of Declarative Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-030-39196-6 (Buch)
  • Erscheinungstermin: 17.01.2020
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
van den Brand / Gasevic / Gray

Software Language Engineering  

Software Language Engineering
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
van den Brand / Gasevic / Gray

Software Language Engineering

  • Verlag: Springer
  • ISBN: 978-3-642-12106-7 (Buch)
  • Erscheinungstermin: 25.03.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Altenkirch / McBride

Types for Proofs and Programs  

Types for Proofs and Programs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Altenkirch / McBride

Types for Proofs and Programs

  • Verlag: Springer
  • ISBN: 978-3-540-74463-4 (Buch)
  • Erscheinungstermin: 01.10.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wienke / Bhalachandra

Accelerator Programming Using Directives  

Accelerator Programming Using Directives
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-030-49942-6 (Buch)
  • Erscheinungstermin: 25.06.2020
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Esparza / Majumdar

Tools and Algorithms for the Construction and Analysis of Systems  

Tools and Algorithms for the Construction and Analysis of Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-12001-5 (Buch)
  • Erscheinungstermin: 17.03.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach