Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Runtime Verification

Name: Runtime Verification
Brand: Springer Nature Switzerland AG
SKU: 24640008
Price: 69.89 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

171 b

69.89 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Cluburlaub Marion Keil

Paperback

4.79 €

La France

Book

37.79 €

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

Paperback

107.09 €

Il a Fait L'Idiot La Chapelle Daniel Auteuil

Paperback

8.29 €

Po prostu magia Rygiel Katarzyna

Paperback

10.49 €

Druuna - Tome 02 Paolo Eleuteri Serpieri

Hardback

26.69 €

Quels sports pour votre enfant ? Patrick Seners

Paperback

20.09 €

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

Toy

6.19 €

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

Paperback

25.89 €

Parola, immagine e cultura editoriale Paolo Rusconi

Paperback

39.09 €

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

Paperback

23.69 €

Zahrada bez zalévání Annette Leppleová

Paperback

9.29 €

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

Paperback

26.09 €

Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling

Paperback

14.99 €

Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz

Paperback

60.59 €

Hombre, naturaleza y sociedad en la obra de Fernando Boytel Jambu Adriana Mercedes Ortiz Blanco

Paperback

51.19 €

Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller

Paperback

65.29 €

Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss

Paperback

55.29 €

Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn

Sheet music

154.19 €

Nanobots Capero

Paperback

20.09 €

Školní detektiv Zuzana Pospíšilová

Hardback

7.69 €

Tansanit: Gedichte Norbert J Rottensteiner

Paperback

12.79 €

Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki

Paperback

8.89 €

Waffenschwestern Mark Lawrence

Paperback

18.00 €

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.