|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Runtime Verification - Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Paperback, 2013 ed.)
Loot Price: R1,552
Discovery Miles 15 520
|
|
|
Runtime Verification - Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Paperback, 2013 ed.)
Series: Programming and Software Engineering, 7687
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed post-conference
proceedings of the Third International Conference on Runtime
Verification, RV 2012, held in Istanbul, Turkey, in September 2012.
The 25 revised full papers presented together with 3 invited papers
and 2 tutorials were carefully reviewed and selected from 50
submissions. The papers address a wide range of specification
languages and formalisms for traces, specification mining, program
instrumentation, monitor construction techniques, logging,
recording, and replay, fault detection, localization, recovery and
repair, program steering and adaptation, metrics and statistical
information gathering, combination of static and dynamic analyses
and program execution visualization.
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
