Vorbestellbar - Computer Science Foundations and Applied Logic - fachmedien.de - Ihre Online-Fachmedien-Plattform

0
0

Blanchette / Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science

Proof Assistants and Their Applications in Mathematics and Computer Science

80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)

Blanchette / Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science

Verlag: Springer International Publishing AG
ISBN: 978-3-031-85189-6 (Buch)
Erscheinungstermin: 09.01.2027

Vorbestellbar

80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

|
1
|