Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Kontakt
Jak nakupovat
Pomoc
Doručení
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
▸
Prázdný :-(
0
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Runtime Verification
25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
Jazyk
Angličtina
Angličtina
E-kniha
Adobe ePub DRM
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verif...
Celý popis
Libristo kód: 49868015
?
194 b
194 b
1 940
Kč
Skladem
Ihned ke stažení
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions. The RV conference focuses on all aspects of formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques are essential for ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness beyond conventional testing and are often more practical than exhaustive formal verification.
Herečka
&
Polyglotka
EWA KASP
pro
Přehrát video
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Informace o knize
Plný název
Runtime Verification
Autor
Bettina Konighofer, Hazem Torfah
Jazyk
Angličtina
Angličtina
Vazba
E-kniha - Adobe ePub DRM
Datum vydání
2025
EAN
9783032054357
Libristo kód
49868015
Nakladatelství
Springer
Kategorie
Výpočetní a informační technologie
>
Počítačové programování/softwarové inženýrství
>
Algoritmy a datové struktury
Výpočetní a informační technologie
>
Počítačové programování/softwarové inženýrství
>
Překladače a interpretry
