Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Lectures on Runtime Verification
Language
English
English
Book
Paperback
The idea of this volume originated from the need to have a book for students to support their traini...
Full description
Libristo code: 18836046
?
159 b
159 b
65.55
€
In stock at our supplier
Shipping in 5-8 days
Up to 30 days for returns
Customers also purchased
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Lectures on Runtime Verification
Author
Ezio Bartocci, Yli?s Falcone
Language
English
English
Binding
Book - Paperback
Date of issue
2018
Number of pages
233
EAN
9783319756318
ISBN
3319756311
Libristo code
18836046
Publishers
Springer International Publishing AG
Weight
382
Dimensions
234 x 155 x 14
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
23.06
€
Book advisor Libroamiko
By using this chat, you are communicating with generative artificial intelligence. By using it, you also agree to the processing of personal data.
Hi! I'm Libroamiko, your book advisor.
How can I help you?
Hi, I'm Libroamiko, can I help?