Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Automated Technology For Verification And Analysis
Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings »
Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings »
Formal Techniques for Networked and Distributed Systems - Forte 2002
22nd Ifip WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002proceedings »
22nd Ifip WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002proceedings »
