← Catalogus

Krebbers Krebbers Robbert

1 titel in de boekenbase · Auteur
Theoretische informatica
Over Krebbers Krebbers Robbert
Krebbers Krebbers Robbert staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder theoretische informatica.
The C standard formalized in Coq
Krebbers Krebbers Robbert
The C standard formalized in Coq
Krebbers Krebbers Robbert
Paperback