Philosophie - Mathematik für Informatiker - Lecture Notes in Computer Science - fachmedien.de - Ihre Online-Fachmedien-Plattform

0
0

Martin-Löf / Mints

COLOG-88

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

Martin-Löf / Mints

COLOG-88

Verlag: Springer
ISBN: 978-3-540-52335-2 (Buch)
Erscheinungstermin: 21.02.1990

Lieferzeit ca. 10 Werktage

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

Zur Detailansicht Auf die Merkliste

Nipkow / Paulson / Wenzel

Isabelle/HOL

64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)

Nipkow / Paulson / Wenzel

Isabelle/HOL

Verlag: Springer
ISBN: 978-3-540-43376-7 (Buch)
Erscheinungstermin: 03.04.2002

Lieferzeit ca. 10 Werktage

64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

Huisman / Howar

Tests and Proofs

Tests and Proofs

149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)

Huisman / Howar

Tests and Proofs

Verlag: Springer
ISBN: 978-3-031-72043-7 (Buch)
Erscheinungstermin: 10.09.2024

Lieferzeit ca. 10 Werktage

149,79 € (inkl. MwSt.) 139,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

|
1
|