KIRJAUDU
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of t
41,20 €
Springer Nature Switzerland AG
Sivumäärä: 465 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2021
Julkaisuvuosi: 2021, 23.03.2021 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 12652
Sivumäärä: 465 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2021
Julkaisuvuosi: 2021, 23.03.2021 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 12652
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 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:
9783030720124
Aihealue: