Boek
Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings «
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 »
Er zijn nog geen berichten geplaatst op het prikbord van Automated Technology For Verification And Analysis.