Bernhard Beckert

Auteur

Bernhard Beckert

Wikipedia
Bernhard Beckert
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

Tests And Proofs
Tests And Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings »
 
 
 
 
 

Automated Reasoning With Analytic Tableaux And Related Methods
Automated Reasoning With Analytic Tableaux And Related Methods
International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proceedings »
 
 
 
 
 

Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers »
 
 
 
 
 

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