Seite 1 von 8
Anzahl pro Seite
Sortiert nach
Produkte: 83 Seite 1 von 8 Filter
Probst / Bochmann

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56496-6 (Buch)
  • Erscheinungstermin: 30.03.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Groote / Bezem

Typed Lambda Calculi and Applications  

Typed Lambda Calculi and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56517-8 (Buch)
  • Erscheinungstermin: 03.03.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Weber / Lafontaine / Simons

The Generic Development Language Deva  

The Generic Development Language Deva
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Weber / Lafontaine / Simons

The Generic Development Language Deva

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-57335-7 (Buch)
  • Erscheinungstermin: 28.10.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Melton

Mathematical Foundation of Programming Semantics  

Mathematical Foundation of Programming Semantics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-16816-4 (Buch)
  • Erscheinungstermin: 01.10.1986
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle  

Isabelle
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58244-1 (Buch)
  • Erscheinungstermin: 28.07.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wirsing / Maluszynski

Programming Language Implementation and Logic Programming  

Programming Language Implementation and Logic Programming
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54444-9 (Buch)
  • Erscheinungstermin: 14.08.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Hofmann

Typed Lambda Calculi and Applications  

Typed Lambda Calculi and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40332-6 (Buch)
  • Erscheinungstermin: 27.05.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Stärk / Schroeder-Heister

Proof Theory in Computer Science  

Proof Theory in Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Stärk / Schroeder-Heister

Proof Theory in Computer Science

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-42752-0 (Buch)
  • Erscheinungstermin: 28.09.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dowek / Möller / Heering

Higher-Order Algebra, Logic, and Term Rewriting  

Higher-Order Algebra, Logic, and Term Rewriting
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61254-4 (Buch)
  • Erscheinungstermin: 08.05.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bongiovanni / Di Battista / Bovet

Algorithms and Complexity  

Algorithms and Complexity
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bongiovanni / Di Battista / Bovet

Algorithms and Complexity

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