Seite 1 von 6
Anzahl pro Seite
Sortiert nach
Produkte: 56 Seite 1 von 6 Filter
Barthe / Hermenegildo

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-11318-5 (Buch)
  • Erscheinungstermin: 08.01.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
De Schreye

Logic-Based Program Synthesis and Transformation  

Logic-Based Program Synthesis and Transformation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-12591-1 (Buch)
  • Erscheinungstermin: 20.04.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Morazán / Scholz

Implementation and Application of Functional Languages  

Implementation and Application of Functional Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-16477-4 (Buch)
  • Erscheinungstermin: 27.10.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Baader

Term Rewriting and Applications  

Term Rewriting and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-73447-5 (Buch)
  • Erscheinungstermin: 21.06.2007
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ait Mohamed / Tahar / Munoz

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Ait Mohamed / Tahar / Munoz

Theorem Proving in Higher Order Logics

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-71065-3 (Buch)
  • Erscheinungstermin: 30.07.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Butterfield / Huch / Grelck

Implementation and Application of Functional Languages  

Implementation and Application of Functional Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-69174-7 (Buch)
  • Erscheinungstermin: 27.12.2006
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Namjoshi / Emerson

Verification, Model Checking, and Abstract Interpretation  

Verification, Model Checking, and Abstract Interpretation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-31139-3 (Buch)
  • Erscheinungstermin: 19.12.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Barthe

Programming Languages and Systems  

Programming Languages and Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-19717-8 (Buch)
  • Erscheinungstermin: 22.03.2011
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Grelck / Trinder / Huch

Implementation and Application of Functional Languages  

Implementation and Application of Functional Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-26094-3 (Buch)
  • Erscheinungstermin: 30.05.2005
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sarkar / Pande

Languages and Compilers for Parallel Computing  

Languages and Compilers for Parallel Computing
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer International Publishing
  • ISBN: 978-3-030-72788-8 (Buch)
  • Erscheinungstermin: 26.03.2021
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach