SULJE VALIKKO
KIRJAUDU
| Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings 68,90 € Springer Sivumäärä: 490 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2023, 02.10.2023 (lisätietoa) Kieli: Englanti Tuotesarja: Lecture Notes in Computer Science 14245 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. 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. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783031442667 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |