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

Software And Systems Safety
Software And Systems Safety
Specification and Verification »
 
 
 
 
 

Perspectives Of System Informatics
Perspectives Of System Informatics
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings »
 
 
 
 
 

Formal Systems Specification
Formal Systems Specification
The RPC-memory Specification Case Study »