Harrison, John. Theorem Proving with the Real Numbers. Springer Nature, 1998.

eng

John Harrison

Theorem Proving with the Real Numbers

Springer Nature
1998

Gebunden
196 Seiten
ISBN 9780387762562

97,00 €

inkl. MwSt.
zzgl. Versand

Etwa 20 Tage

Anderes Ausgaben

Taschenbuch

106,99 €

inkl. MwSt.
zzgl. Versand

Auf Lager