Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering),Used
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$91.43
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that c