Overview

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 carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.


ISBN-13

9783319756318

ISBN-10

3319756311

Weight

0.76 Pounds

Dimensions

6.10 x 0.55 x 9.25 In

List Price

$69.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

vii, 233 pages

Publisher

Springer

Published On

2018-02-11



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$105.77

 Free delivery by: 02 Apr 2026


Bookstores.com relies on cookies to improve your experience.