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
Verification Of Object-Oriented Software The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the soft... »