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

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 »