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

Horizon Switzerland
Horizon Switzerland
 »
 
 
 
 
 

Theoretical and Practical Aspects of Spin Model Checking
Theoretical and Practical Aspects of Spin Model Checking
5th and 6th International Spin Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings »