|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Paperback)
Loot Price: R1,541
Discovery Miles 15 410
|
|
|
Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Paperback)
Series: Lecture Notes in Computer Science, 6996
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 9th
International Symposium on Automated Technology for Verification
and Analysis, ATVA 2011, held in Taipei, Taiwan, in October
2011.
The 23 revised regular papers presented together with 5 invited
papers, 11 short papers, and 2 tool papers, were carefully reviewed
and selected from 75 submissions. The papers address all
theoretical and practical aspects of automated analysis,
verification and synthesis; thus providing a forum for interaction
between the regional and the international research communities and
industry in the field.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
