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 »
Boeken
Algorithimic Languages And Calculi Based on a conference on notations, methods and tool support for the calculation of programs from specification, this collection of papers aims to address to... »