Free delivery for orders over 69.99 euro.

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 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Runtime Verification

Name: Runtime Verification
Brand: Springer, Berlin
SKU: 46666396
Price: 56.92 EUR
Availability: InStock
Author: Erika Ábrahám
ISBN: 9783031742330

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Erika Ábrahám

Houssam Abbas

Language

English

Book Paperback

Libristo code: 46666396

Publishers Springer, Berlin, November 2023

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

Libristo code: 46666396

137 b

56.92 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Rezyliencja matematyczna. O roli prężności psychicznej w skutecznym uczeniu się matematyki Oszwa Urszula

Paperback

10.64 €

Voyage En Suisse, 1817-1819. 2e Edition. Tome 2 Louis Simond

Paperback

38.24 €

Папа Элен Дельфорж

Hardback

40.07 €

Das große Buch zur Schwangerschaft Annette Nolden

Hardback

32.26 €

Conversational tautologies in English Jascha Walter

Paperback

14.50 €

Emotionsbezogene Psychotherapie Class-Hinrich Lammers

Hardback

47.38 €

goti Sergio Rovagnati

Paperback

10.85 €

Francis Bacon. I disegni italiani. Un punto fermo M. Letizia Paoletti Book

Paperback

17.04 €

Dynamit Hans Heidsieck

Adobe ePub DRM

12.07 €

Verlässliche Wissenschaft Milena Valeva

Hardback

45.35 €

Włoskie skarby – kulturowe, artystyczne i duchowe Witold Kawecki

Hardback

17.65 €

Klartext kompakt Bernhard J Schmidt

Paperback

6.79 €

SM GIRL FRIENDS Nº 01 2,95 MORINAGA

Paperback

5.37 €

Las Ratitas 3. La misteriosa màgia de les Súper Ratitas LAS RATITAS

Hardback

16.83 €

Droit public, droit de la famille, finances publiques JAUBERT

Paperback

15.82 €

Elasticidad y resistencia de materiales MANUEL SOLAGUREN-BEASCOA FERNANDEZ

Paperback

58.13 €

PHIL DUNCAN: DIRT SIMPLE HARMONICA (BOOK/CD) +CD DUNCAN Book

binding.

31.55 €

Muertes por desesperación y el futuro del capitalismo ANNE CASE Y ANGUS DEATON

Paperback

28.71 €

Oeuvres compl?tes de Alfred de Vigny Volume 8 Alfred De Vigny

Paperback

25.97 €

Jak to žije Kamarádi Samantha Meredith

Board book

4.66 €

Tajemství černého vrchu Dana Gabriela Vočadlová

Hardback

9.53 €

Der Hauptgewinn: oder Bären für die Ketchupboys Michail Michail Krausnick

Paperback

10.24 €

Membentuk Murid-Murid Radikal: Manual Peserta Daniel B Lancaster

Paperback

6.79 €

Il mille giochi Geronimo Stilton

Paperback

23.33 €

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.

The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.