Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih.
Ustvarite brezplačen račun
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba 3.49 €
Zbirno mesto 3.49 €
Zbirno mesto 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Kontakt
Kako nakupovati
Pomoč
Dostava
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba 3.49 €
Zbirno mesto 3.49 €
Zbirno mesto 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Brezplačna dostava Zásilkovna nad 69.99 €
Svetovalec pri nakupu
Moj račun
▸
Prazna :-(
0
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
Jezik
Angleščina
Angleščina
Knjiga
Mehka
This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verif...
Celoten opis
Koda Libristo: 41407873
?
156 b
156 b
64.34
€
Na zalogi pri dobavitelju
Odposlali bomo v 5-8 dneh
30 dni za vračilo blaga
This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. 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.
Igralka
&
Poliglotka
EWA KASP
za
Predvajaj video
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
O knjigi
Polni naslov
Runtime Verification
Avtor
Thao Dang, Volker Stolz
Jezik
Angleščina
Angleščina
Vezava
Knjiga - Mehka
Datum izida
2022
Število strani
360
EAN
9783031171956
Koda Libristo
41407873
Založba
Springer, Berlin
Teža
546
Mere
155 x 235 x 20
