Mijn boeken
Catalogus
Formalising exact arithmetic
M. Niqui

Formalising exact arithmetic representations, algorithms and proofs

Paperback200 pagina’sEngels
In het kort
ISBN-13
9789090183336
Uitgever

Lijkt op dit boek

NSTC 501095338 · CB-relatie 9844762 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Formalising exact arithmetic
M. Niqui

Formalising exact arithmetic

representations, algorithms and proofs
Paperback200 pagina’sEngels
Bestel bij bol →
In het kort
ISBN-13
9789090183336
Uitgever

Lijkt op dit boek

Alles bekijken →
NSTC 501095338 · CB-relatie 9844762 · Bijgewerkt 6 augustus 2026