Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Paperback, 2014 ed.)
Loot Price: R2,726
Discovery Miles 27 260
|
|
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Paperback, 2014 ed.)
Series: Lecture Notes in Computer Science, 8837
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 12th International
Symposium on Automated Technology for Verification and Analysis,
ATVA 2014, held in Sydney, Australia, in November 2014. The 29
revised papers presented in this volume were carefully reviewed and
selected from 76 submissions. They show current research on
theoretical and practical aspects of automated analysis,
verification and synthesis by providing an international forum for
interaction among the researchers in academia and industry.
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.