![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
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.
|
You may like...
Sand Mining - Environmental Impacts and…
D. Padmalal, K. Maya
Hardcover
R3,813
Discovery Miles 38 130
Zeolites and Zeolite-like Materials
Bert Sels, Leonid Kustov
Hardcover
Manual of Methods for Marine Plankton
R & Srinivasan a & Khan S Santhanam
Hardcover
R1,811
Discovery Miles 18 110
Towards a Cleaner Planet - Energy for…
Jaime Klapp, Jorge L. Cervantes-Cota, …
Hardcover
R4,251
Discovery Miles 42 510
Prototype Modelling in Social-Emotional…
Gerd-bodo Von Carlsburg, Giedre Kvieskiene
Hardcover
R1,356
Discovery Miles 13 560
Clays and Health - Properties and…
Michel Rautureau, Celso De Sousa Figueiredo Gomes, …
Hardcover
R3,341
Discovery Miles 33 410
|