Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Paperback, 2013 ed.)
Loot Price: R1,542
Discovery Miles 15 420
|
|
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
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R1,562
Discovery Miles: 15 620
|
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.