← Catalogus

Carst Tankink

1 titel in de boekenbase · Auteur
Internet
Over Carst Tankink
Carst Tankink staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder internet.
Documentation and Formal Mathematics: Web Technology meets Proof Assistants
Carst Tankink
Documentation and Formal Mathematics: Web Technology meets Proof Assistants
Carst Tankink
Paperback