SULJE VALIKKO
KIRJAUDU
VERIFIED SOFTWARE. THEORIES, TOOLS, AND EXPERIMENTS : 11TH INTERNATIONAL CONFERENCE, VSTTE 2019, NEW YORK CITY, NY, USA, JULY 13 | ||
| Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13 49,60 € Springer Sivumäärä: 193 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2020, 14.03.2020 (lisätietoa) Kieli: Englanti This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783030415990 Tuotesarja: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |