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

Mathematical Logic For Computer Science
Mathematical Logic For Computer Science
Mathematical Logic for Computer Science is a mathematics textbook with theoremsand proofs but the choice of topics has been guided by the needs of computersc... »
 
 
 
 
 

Ada For Software Engineers
Ada For Software Engineers
Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Thi... »
 
 
 
 
 

Principles of the Spin Model Checker
Principles of the Spin Model Checker
Principles of the SPIN Model Checker »