Mijn boeken
Catalogus
Waterproof
A.J. Wemmenhove

Waterproof transforming a proof assistant into an educational tool

PaperbackEngelsSerie →
In het kort

Lijkt op dit boek

NSTC 501618874 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Waterproof
A.J. Wemmenhove

Waterproof

transforming a proof assistant into an educational tool
Bestel bij bol →
In het kort

Lijkt op dit boek

Alles bekijken →
NSTC 501618874 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026