We hebben 4 boeken gevonden van de auteur Bertot, Yves
Hieronder vindt u een lijst met alle gevonden boeken van de auteur Bertot, Yves.
De meest gevonden boeken zijn Theorem Proving In Higher Order Logics, Interactive Theorem Proving And Program Development: Coq'art, Interactive Theorem Proving And Program Development en From Semantics To Computer Science.
De meest gevonden boeken zijn Theorem Proving In Higher Order Logics, Interactive Theorem Proving And Program Development: Coq'art, Interactive Theorem Proving And Program Development en From Semantics To Computer Science.
Sorteer op:
Nieuw (1)
€ 81,37
€ 81,37
