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

Lectures On Formal Methods And Performance Analysis
Lectures On Formal Methods And Performance Analysis
First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000. Revised Lectures »
 
 
 
 
 

Tools And Algorithms For The Construction And Analysis Of Systems
Tools And Algorithms For The Construction And Analysis Of Systems
Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings »