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

0
0

Howar / Huisman

Tests and Proofs

Tests and Proofs

139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)

Howar / Huisman

Tests and Proofs

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

Lieferzeit ca. 10 Werktage

139,09 € (inkl. MwSt.) 129,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

Mints / Martin-Löf

COLOG-88

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

Mints / Martin-Löf

COLOG-88

Verlag: Springer Berlin Heidelberg
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 / Wenzel / Paulson

Isabelle/HOL

58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)

Nipkow / Wenzel / Paulson

Isabelle/HOL

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

Lieferzeit ca. 10 Werktage

58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

|
1
|