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 »
Recensies van Automated Theorem Proving In Software Engineering [with Cdrom] door Johann Schumann, J.M.P. Schumann & J.M. P. Schumann