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
Computer Aided Verification 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings »
Computer Aided Verification 12th International Conference, Cav 2000 Chicago, Il, USA, July 15-19, 2000, Proceedings »