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

Using Standard Z.
Using Standard Z.
Specification, Proof And Refinement »
 
 
 
 
 

Fm 99 - Formal Methods
Fm 99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings »
 
 
 
 
 

Specification And Proof In Real Time Csp
Specification And Proof In Real Time Csp
Distinguished Dissertations in Computer Science »