|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Runtime Verification - Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Paperback, 2012 ed.)
Loot Price: R1,593
Discovery Miles 15 930
|
|
|
Runtime Verification - Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Paperback, 2012 ed.)
Series: Lecture Notes in Computer Science, 7186
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed post-conference
proceedings of the Second International Conference on Runtime
Verification, RV 2011, held in San Francisco, USA, in September
2011. The 24 revised full papers presented together with 3 invited
papers, 4 tutorials and 4 tool demonstrations were carefully
reviewed and selected from 71 submissions. The papers are organized
in topical sections on parallelism and deadlocks, malware
detection, temporal constraints and concurrency bugs, sampling and
specification conformance, real-time, software and hardware
systems, memory transactions, tools; foundational techniques and
multi-valued approaches.
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
