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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Runtime Verification

Name: Runtime Verification
Brand: Springer Nature Switzerland AG
SKU: 24640008
Price: 66.45 EUR
Availability: InStock
Author: Bernd Finkbeiner
ISBN: 9783030320782

19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Bernd Finkbeiner

Leonardo Mariani

Language

English

Book Paperback

Libristo code: 24640008

Publishers Springer Nature Switzerland AG, October 2019

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Full description

Libristo code: 24640008

162 b

66.45 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Cluburlaub Marion Keil

Paperback

5.00 €

Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling

Paperback

13.43 €

Quels sports pour votre enfant ? Patrick Seners

Paperback

18.14 €

La France

Book

35.19 €

Devenez un pro de la guitare en 10 minutes par jour Phil Capone

Paperback

23.66 €

On a frôlé la guerre atomique - Ces 7 journées où le monde fut au bord de l'apocalypse Luc Mary

Paperback

21.55 €

Po prostu magia Rygiel Katarzyna

Paperback

9.91 €

STABILO BOSS ORIGINAL NatureCOLORS 4er Etui (schlammgrün siena, umbra, schwarz)

Toy

7.81 €

Flexibilisierung und Verkurzung der Arbeitszeit Angelika Robé

Paperback

51.22 €

कबहूं ना छाड़े खेत Pranjal

Paperback

13.62 €

Školní detektiv Zuzana Pospíšilová

Hardback

7.71 €

CE Que C'Est Que L'Amour Regis Jauffret

Paperback

3.80 €

Bernardo Atxagaren irakurlea Mari Jose Olaziregi

Book

21.84 €

CMM 1 GUILLAUME DUFAY (ca. 1400-1474), Opera Omnia, edited by Heinrich Besseler. Vol. III Missarum pars altera Dufay Book

Paperback

105.75 €

Zahrada bez zalévání Annette Leppleová

Paperback

8.11 €

Sex. To, o czym dorośli Ci nie mówią Boguś Janiszewski

Hardback

8.61 €

Parola, immagine e cultura editoriale Paolo Rusconi

Paperback

37.00 €

Opus 77 Alexis Ragougneau

Adobe ePub DRM

10.92 €

Tansanit: Gedichte Norbert J Rottensteiner

Paperback

12.22 €

Recht. Rechter. Rechtsextremismus.. Tritt der russische Rechtsextremismus aus seinem subkulturellen Schatten heraus? Doreen Kelimes

Paperback

30.36 €

Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn

Sheet music

146.71 €

de la Destination Et de l'Utilite Permanente Des Pyramides d'Egypte Et de Nubie Persigny-J

Paperback

23.75 €

REXX - Einführung und Überblick Marvin Müller

Paperback

13.52 €

Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss

Paperback

52.62 €

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter "Assumption-Based Runtime Verification with Partial Observability and Resets" and chapter "NuRV: a nuXmv Extension for Runtime Verification" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.