Formal Methods Teaching
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- 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.)
Timeless Machines: Computability Across Eras
87,73 € (inkl. MwSt.)
81,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-032-31347-8 (Buch)
- Erscheinungstermin: 20.07.2026
-
Lieferzeit ca. 10 Werktage
87,73 € (inkl. MwSt.)
81,99 € (zzgl. MwSt.)
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.)
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.)
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.)
Systems of Reductions
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- 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.)
Logic and Its Applications
69,54 € (inkl. MwSt.)
64,99 € (zzgl. MwSt.)
- 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.)
Theory Reasoning in Connection Calculi
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-65509-1 (Buch)
- Erscheinungstermin: 18.12.1998
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
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.)
Automated Deduction - CADE-12
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-58156-7 (Buch)
- Erscheinungstermin: 08.06.1994
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)