Seite 1 von 8
Anzahl pro Seite
Sortiert nach
Produkte: 75 Seite 1 von 8 Filter
Carvalho / Kobayashi

Formal Methods Teaching  

Formal Methods Teaching
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Carvalho / Kobayashi

Formal Methods Teaching

  • Verlag: Springer
  • ISBN: 978-3-032-26742-9 (Buch)
  • Erscheinungstermin: 19.05.2026
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bertrand / Milius

Foundations of Software Science and Computation Structures  

Foundations of Software Science and Computation Structures
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-032-22729-4 (Buch)
  • Erscheinungstermin: 16.04.2026
  • Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.) 39,99 € (zzgl. MwSt.)
Yan / Liu / Westerståhl

The Connectives in Logic and Language  

The Connectives in Logic and Language
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-86053-9 (Buch)
  • Erscheinungstermin: 17.04.2025
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Melton

Mathematical Foundation of Programming Semantics  

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

Systems of Reductions  

Systems of Reductions
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Benninghofen / Kemmerich / Richter

Systems of Reductions

  • Verlag: Springer
  • ISBN: 978-3-540-18598-7 (Buch)
  • Erscheinungstermin: 25.11.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Aiswarya / Sen / Srivastava

Logic and Its Applications  

Logic and Its Applications
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Aiswarya / Sen / Srivastava

Logic and Its Applications

  • Verlag: Springer
  • ISBN: 978-3-031-89609-5 (Buch)
  • Erscheinungstermin: 28.05.2025
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Habel

Hyperedge Replacement: Grammars and Languages  

Hyperedge Replacement: Grammars and Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-56005-0 (Buch)
  • Erscheinungstermin: 17.12.1992
  • 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
  • ISBN: 978-3-540-58244-1 (Buch)
  • Erscheinungstermin: 28.07.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Moggi / Rosolini

Category Theory and Computer Science  

Category Theory and Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63455-3 (Buch)
  • Erscheinungstermin: 20.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahle / Schroeder-Heister / Stärk

Proof Theory in Computer Science  

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

Proof Theory in Computer Science

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