Steve Schneider

Auteur

Steve Schneider

Wikipedia
Steve Schneider
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

The B-Method
The B-Method
 »
 
 
 
 
 

Concurrent and Real-Time Systems
Concurrent and Real-Time Systems
This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Exa... »
 
 
 
 
 

The Modelling And Analysis Of Security Protocols
The Modelling And Analysis Of Security Protocols
The Csp Approach »
 
 
 
 
 

 
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.'); });