Catalogus
Formalising exact arithmetic
M. Niqui

Formalising exact arithmetic representations, algorithms and proofs

Paperback200 pagina’sEngels
In het kort
ISBN-13
9789090183336
Uitgever
NSTC 501095338 · CB-relatie 9844762 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Formalising exact arithmetic
M. Niqui

Formalising exact arithmetic

representations, algorithms and proofs
Paperback200 pagina’sEngels
In het kort
ISBN-13
9789090183336
Uitgever
NSTC 501095338 · CB-relatie 9844762 · Bijgewerkt 6 augustus 2026