Michel Bidoit

Auteur

Michel Bidoit

Wikipedia
Michel Bidoit
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

Tapsoft'97
Tapsoft'97
Theory and Practice of Software Development: 7th International Joint Conference Caap/Fase, Lille, France, April 14-18, »
 
 
 
 
 

Systems and Software Verification
Systems and Software Verification
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or ... »
 
 
 
 
 

Casl User Manual
Casl User Manual
Introduction to Using the Common Algebraic Specification Language »
 
 
 
 
 

Systems and Software Verification
Systems and Software Verification
Model-Checking Techniques and Tools »
 
 
 
 
 

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