SULJE VALIKKO
KIRJAUDU
| Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 202 49,60 € Springer Sivumäärä: 574 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2020, 12.10.2020 (lisätietoa) Kieli: Englanti This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 16-19 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783030591519 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |