Pricelists.org Zaloguj się Załóż konto

Runtime Verification

☆☆☆☆☆ (0 opinii)

Pokaż historię cen

Najniższa cena (z dostawą)

10 009,00 JPY

Typowa cena936,24 PLN

Najniższa (90 dni)72,79 PLN

Liczba ofert3

Ostatnia aktualizacja19 godzin temu

Zobacz najlepszą ofertę

Sprzedawca	Cena produktu	Dostawa	Razem	Dostępność	Aktualizacja
SP Springer Nature Author	10 009,00 JPY	0 zł	10 009,00 JPY	Dostępny	2 godziny temu	Zobacz ofertę
SP SpringerNatureLink Shop INT	83,00 EUR	15,00 EUR	98,00 EUR	Dostępny	13 godzin temu	Zobacz ofertę
VI VitalSource	455,40 ZAR	15,00 ZAR	470,40 ZAR	Dostępny	19 godzin temu	Zobacz ofertę

Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 06:06.

EAN 9783031442667

Springer Nature

0,0

☆☆☆☆☆

0 opinii

5★ 0%

4★ 0%

3★ 0%

2★ 0%

1★ 0%

Opinie o produkcie

Imię lub nick

Ocena

Twoja opinia

Brak opinii — bądź pierwszy!

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–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.