Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Java and the Java Virtual Machine
Java and the Java Virtual Machine
Definition, Verification, Validation »
 
 
 
 
 

The Classical Decision Problem
The Classical Decision Problem
The Classical Decision Problem »
 
 
 
 
 

Abstract State Machines
Abstract State Machines
The Abstract State Machine model is an abstract method for analysing and predicting the reliability of parallel computation. This comprehensive description o... »