Mijn boeken
← Catalogus
Documentation and Formal Mathematics: Web Technology meets Proof Assistants
Carst Tankink

Documentation and Formal Mathematics: Web Technology meets Proof Assistants

Carst Tankink
PaperbackEngels
In het kort
ISBN-13
9789461919632
Uitgever
Ipskamp Printing
NUR
988 · Internet

Lijkt op dit boek

Omslag van Wat heb jij te verbergen?
Wat heb jij te verbergen?
Omslag van Wat internet over je weet
Wat internet over je weet
Omslag van Vrijwilligers die het internet dragen
Vrijwilligers die het internet dragen
Omslag van Verbonden, maar alleen...
Verbonden, maar alleen...
Omslag van Online dating
Online dating
Omslag van Kabels op de zeebodem
Kabels op de zeebodem
Omslag van Je eigen server thuis
Je eigen server thuis
Omslag van The Groovebox Project
The Groovebox Project
Omslag van Handboek WordPress 7
Handboek WordPress 7
Omslag van Sociale media voor senioren
Sociale media voor senioren
NSTC 500935828 · CB-relatie 7656783 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
Documentation and Formal Mathematics: Web Technology meets Proof Assistants
Carst Tankink

Documentation and Formal Mathematics: Web Technology meets Proof Assistants

Carst Tankink
PaperbackEngels
Bestel bij bol →
In het kort
ISBN-13
9789461919632
Uitgever
Ipskamp Printing
NUR
988 · Internet

Lijkt op dit boek

Alles bekijken →
Omslag van Wat heb jij te verbergen?
Wat heb jij te verbergen?
Ronald Smit
Omslag van Wat internet over je weet
Wat internet over je weet
Waries B.V.
Omslag van Vrijwilligers die het internet dragen
Vrijwilligers die het internet dragen
Waries B.V.
Omslag van Verbonden, maar alleen...
Verbonden, maar alleen...
Björn Van der Meer
Omslag van Online dating
Online dating
My BookZ
Omslag van Kabels op de zeebodem
Kabels op de zeebodem
NSTC 500935828 · CB-relatie 7656783 · Bijgewerkt 6 augustus 2026