Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Runtime Verification

Language EnglishEnglish
Book Paperback
Book Runtime Verification Bettina Könighofer
Libristo code: 49425797
Publishers Springer-Verlag GmbH, October 2025
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verif... Full description
? points 179 b
26 805 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

L'ontophylogenèse Kupiec / Book Paperback
common.buy 4 286 Ft
Pucking wild (poche) - Tome 2 Les Rays de Jacksonville Emily Rath / Book Paperback
common.buy 4 583 Ft
Saint Louis VIAL-ANDRU / Book Paperback
common.buy 3 671 Ft

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15 19, 2025.

The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions. 

The RV conference focuses on all aspects of formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques are essential for ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness beyond conventional testing and are often more practical than exhaustive formal verification.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Runtime Verification
Author Bettina Könighofer
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 510
EAN 9783032054340
ISBN 3032054346
Libristo code 49425797
Publishers Springer-Verlag GmbH
Weight 803

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
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 address

You might also be interested in

Top
Psycho-Cybernetics Deluxe Edition Maxwell Maltz / Book Hardback
common.buy 8 344 Ft
Economy of Honduras Ivan Kushnir / Book Paperback
common.buy 3 402 Ft
Outlaw Michael Streissguth / Audiobook MP3
common.buy 5 231 Ft
The Unmasking of Medicine Ian Kennedy / Book Paperback
common.buy 17 516 Ft
Top New
Purgatory Funeral Cakes Volume 2 Sanho / Book Paperback
common.buy 6 294 Ft
New
Reimagining Language Teacher Agency Huseyin Uysal / Book Hardback
common.buy 52 231 Ft
New
Russo-Soviet Imperialist Hauntings Maryna Romanets / Book Hardback
common.buy 63 547 Ft
Public and Parlor Readings. Prose and Poetry for the Use of Reading Clubs, and for Public, Social, and School Entertainment. Dialogues and Dramas Lewis Baxter Monroe / Book Hardback
common.buy 28 213 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?