Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Lectures on Runtime Verification - Introductory and Advanced Topics (Paperback, 1st ed. 2018) Loot Price: R1,890

Discovery Miles 18 900

Repayment Terms: R177 pm x 12*

Add to cart

Lectures on Runtime Verification - Introductory and Advanced Topics (Paperback, 1st ed. 2018): Ezio Bartocci, Ylies Falcone

Lectures on Runtime Verification - Introductory and Advanced Topics (Paperback, 1st ed. 2018)

Ezio Bartocci, Ylies Falcone

Series: Lecture Notes in Computer Science, 10457

(sign in to rate)

Loot Price R1,890 Discovery Miles 18 900 | Repayment Terms: R177 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 10457
Release date:	February 2018
First published:	2018
Editors:	Ezio Bartocci • Ylies Falcone
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	233
Edition:	1st ed. 2018
ISBN-13:	978-3-319-75631-8
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	3-319-75631-1
Barcode:	9783319756318