Willem-Paul de Roever

Auteur

Willem-Paul de Roever

Wikipedia
Willem-Paul de Roever
Deel op Twitter



 
Boeken
 
 
Prikbord
 
 
 
Fans
 
 

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

Data Refinement
Data Refinement
Model-Oriented Proof Methods and Their Comparison »
 
 
 
 
 

Concurrency Verification
Concurrency Verification
Introduction To Compositional And Non-Compositional Methods »
 
 
 
 
 

Concurrency Verification
Concurrency Verification
An introduction to compositional proof methods for the state-based verification of con-current programmes, and to non-compositional methods, the presentation... »
 
 
 
 
 

 
domReadyCallbacks.push( function() { new Error('Sorry, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat hier worden.'); });