Free delivery for orders over 69.99€

Check order status

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

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag GmbH
SKU: 49425797
Price: 71.84 EUR
Availability: InStock
Author: Bettina Könighofer
ISBN: 9783032054340

Bettina Könighofer

Language

English

Book Paperback

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

Libristo code: 49425797

174 b

71.84 €

140.50 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

PREGHIERE PER L'ANIMA Vol. 1 Anton Styger

Paperback

23.36 € 45.68 лв

Saint Louis VIAL-ANDRU

Paperback

10.35 € 20.25 лв

Pucking wild (poche) - Tome 2 Les Rays de Jacksonville Emily Rath

Paperback

13.00 € 25.42 лв

Maison Rustique Du Xixe Si?cle: Agriculture Proprement Dite. 1835. Cultures Industrielles Et Animaux Domestiques. 1837... Alexandre Bixio

Paperback

29.78 € 58.24 лв

Pasion renovada Maggie Cox

Adobe ePub DRM

3.41 € 6.68 лв

Comentarios de D. García de Silva y Figueroa en la embajada que de parte del Rey de España Don Felip Serrano y Sanz

Hardback

72.25 € 141.31 лв

L'ontophylogenèse Kupiec

Paperback

12.17 € 23.80 лв

Indications Therapeutiques, Eaux Minero-Thermales, Lacoste-C

Paperback

14.60 € 28.56 лв

Renesans Jerzy Ziomek

Paperback

23.51 € 45.98 лв

Währungsreform und Soziale Marktwirtschaft. Wolfram Fischer

Hardback

177.45 € 347.06 лв

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

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

You might also be interested in

Russo-Soviet Imperialist Hauntings Maryna Romanets

Hardback

164.40 € 321.53 лв

The Unmasking of Medicine Ian Kennedy

Paperback

47.28 € 92.48 лв

Purgatory Funeral Cakes Volume 2 Sanho

Paperback

16.88 € 33.02 лв

Outlaw Michael Streissguth

MP3

15.12 € 29.57 лв

Humane Samuel Moyn

Paperback

38.48 € 75.26 лв

Epic Imaginary Charlton Payne

Hardback

99.50 € 194.60 лв

Reimagining Language Teacher Agency Huseyin Uysal

Hardback

152.12 € 297.52 лв

Economy of Honduras Ivan Kushnir

Paperback

8.70 € 17.01 лв

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

Hardback

75.41 € 147.49 лв