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

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 »
 
 
 
 
 

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