Automated Technology for Verification and Analysis: 5th International Symposium,
69,60 €
Constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions.
Jetzt bei Ebay:
