KIRJAUDU
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part
41,20 €
Springer
Sivumäärä: 493 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2022
Julkaisuvuosi: 2022, 30.03.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13244
Sivumäärä: 493 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2022
Julkaisuvuosi: 2022, 30.03.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13244
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
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:
9783030995263
Aihealue: