Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Runtime Verification

Name: Runtime Verification
Brand: Springer, Berlin
SKU: 43913305
Price: 305.91 PLN
Availability: InStock
Author: Panagiotis Katsaros
ISBN: 9783031442667

23rd International Conference, RV 2023, Thessaloniki, Greece, October 4-6, 2023, Proceedings

Panagiotis Katsaros

Laura Nenzi

Język

Angielski

Książka Miękka

Kod Libristo: 43913305

Wydawnictwo Springer, Berlin, listopad 2022

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verif... Cały opis

Kod Libristo: 43913305

175 b

305.91 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

El cura que costo un papado Adelfa Martin

Miękka

41.54 zł

Qu'est-Ce Que Le Creationnisme? Paul Clavier

Miękka

58.00 zł

Občanské právo hmotné 3 Jan Dvořák

Miękka

74.26 zł

Cabeciña a paxaros e outras historias GLORIA SANCHEZ

Miękka

52.88 zł

Bullet Journal - Stickerbuch für Lehrer: 800 Schmuck- und Layoutelemente für den Schulalltag Edition Michael Fischer

Miękka

36.42 zł

Severin Egon Bondy

Miękka

35.02 zł

Hrabia Monte Christo. Tom 2 Aleksander Dumas

Miękka

44.15 zł

Erstellung eines Konzeptes zur Einführung eines Qualitätsmanagements für eine Steuerberatungsgesellschaft nach dem EFQM - Modell für Excellence Armin Baumgärtner

Miękka

181.46 zł

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 4-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.