KIRJAUDU
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th Internation
56,10 €
Springer Nature Switzerland AG
Sivumäärä: 197 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2022
Julkaisuvuosi: 2022, 22.02.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13124
Sivumäärä: 197 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2022
Julkaisuvuosi: 2022, 22.02.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13124
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783030955601
Aihealue: