SULJE VALIKKO
KIRJAUDU
Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ
RUNTIME VERIFICATION - 24TH INTERNATIONAL CONFERENCE, RV 2024, ISTANBUL, TURKEY, OCTOBER 15–17, 2024, PROCEEDINGS | ||
| Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings 56,40 € Springer International Publishing AG Sivumäärä: 304 sivua Asu: Pehmeäkantinen kirja Painos: 2025 ed. Julkaisuvuosi: 2024, 12.10.2024 (lisätietoa) Kieli: Englanti Tuotesarja: Lecture Notes in Computer Science 15191 This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783031742330 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |