![]() |
![]() |
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...
Aging - From Fundamental Biology to…
Paulo J. Oliveira, Joao O Malva
Paperback
R3,153
Discovery Miles 31 530
Eight Days In July - Inside The Zuma…
Qaanitah Hunter, Kaveel Singh, …
Paperback
![]()
Enhancing Mobility in Late Life…
Heidrun Mollenkopf, Fiorella Marcellini, …
Hardcover
R2,602
Discovery Miles 26 020
The Asian Aspiration - Why And How…
Greg Mills, Olusegun Obasanjo, …
Paperback
Why Don't We Go Into the Garden? - A…
Debbie Carroll, Mark Rendell
Paperback
R682
Discovery Miles 6 820
|