Code: 46666396

Runtime Verification

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

by Erika Ábrahám, Houssam Abbas

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 includ ... more

Language: English
Binding: Paperback
Number of pages: 295
Publisher: Springer, Berlin, 2024
More about this

56.61 €

RRP: 61.36 €

You save 4.75 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Das große Buch zur Schwangerschaft
32.19 € -11 %
Buy
Jak to žije Kamarádi
4.43 € -16 %
Buy
Python Machine Learning
47.12 € -1 %
Buy
SM GIRL FRIENDS Nº 01 2,95
5.24 €
Buy
Look at Tomorrow Today
14.42 € -26 %
Buy
Tajemství černého vrchu
6.85 € -27 %
Buy
Abraham Lincoln
14.02 € -25 %
Buy
Las Ratitas 3. La misteriosa màgia de les Súper Ratitas
16.74 € -5 %
Buy
Voyage En Suisse, 1817-1819. 2e Edition. Tome 2
36.32 €
Buy
Rezyliencja matematyczna. O roli prężności psychicznej w skutecznym uczeniu się matematyki
10.79 € -2 %
Buy
Postmodernism and China
145.12 €
Buy
31 Days Devotional for Doers, Movers, and Shakers
14.02 € -7 %
Buy
Джон Константин. Hellblazer. "Хоррорист" и другие истории. Лучшее
48.44 € -12 %
Buy
Oeuvres compl?tes de Alfred de Vigny Volume 8
24.21 € -25 %
Buy
Emotionsbezogene Psychotherapie
47.12 € -6 %
Buy
Rock and Roll Comics
8.06 € -7 %
Buy
Blackberry Creek
25.02 €
Buy
Meeting Meg
8.67 € -25 %
Buy
Flavors for Nutraceutical and Functional Foods
243.93 €
Buy
The Girl from Glengarry
14.93 € -6 %
Buy
8 Mindset Guides to Implement Mental Habits of Self-Positivity: A Powerful Tool to Cultivate Positive Thinking
7.26 € -6 %
Buy
Grune Planet
24.11 € -11 %
Buy
Economic Geology, or Geology in Its Relations to the Arts and Manufactures.
24.21 € -25 %
Buy
Ecological Sustainability
106.37 €
Buy
Ukrainian Intelligentsia in Post-Soviet L'viv
172.37 €
Buy
Francis Bacon. I disegni italiani. Un punto fermo
17.25 €
Buy
Lincoln & Newark-on-Trent
13.92 € -24 %
Buy
Numerical simulation of corrosion processes in hot metals
44.40 € -14 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 137 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

56.61 €

Full title: Runtime Verification
Subtitle: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author: Erika Ábrahám, Houssam Abbas
Language: English
Binding: Paperback
Number of pages: 295
EAN: 9783031742330
ID: 46666396
Publisher: Springer, Berlin
Weight: 488 g
Dimensions: 235 × 155 mm
Published: 2024