|
Books > Computing & IT > Computer programming > Programming languages
|
Not currently available
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Paperback, 2013 ed.)
Loot Price: R932
Discovery Miles 9 320
You Save: R1,561
(63%)
|
|
|
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Paperback, 2013 ed.)
Series: Programming and Software Engineering, 8172
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
This book constitutes the refereed proceedings of the 11th
International Symposium on Automated Technology for Verification
and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013.
The 27 regular papers, 3 short papers and 12 tool papers presented
together with 3 invited talks were carefully selected from73
submissions. The papers are organized in topical, sections on
analysis and verification of hardware circuits, systems-on-chip and
embedded systems, analysis of real-time, hybrid, priced/weighted
and probabilistic systems, deductive, algorithmic, compositional,
and abstraction/refinement techniques for analysis and
verification, analytical techniques for safety, security, and
dependability, testing and runtime analysis based on verification
technology, analysis and verification of parallel and concurrent
hardware/software systems, verification in industrial practice, and
applications and case studies.
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
