Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Boeken

Ml For The Working Programmer
Ml For The Working Programmer
This textbook explains how to program in the ML language, and teaches the fundamentals of functional programming. This edition includes coverage of modules, ... »
 
 
 
 
 

Isabelle/Hol
Isabelle/Hol
A Proof Assistant for Higher-order Logic »
 
 
 
 
 

Logic And Computation
Logic And Computation
Interactive Proof With Cambridge Lcf »