KIRJAUDU
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
56,40 €
Springer Nature Switzerland AG
Sivumäärä: 193 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2021
Julkaisuvuosi: 2021, 28.09.2021 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13065
Sivumäärä: 193 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2021
Julkaisuvuosi: 2021, 28.09.2021 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13065
His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.
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:
9783030873479
Aihealue: