Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Engelsk Paperback
Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Engelsk Paperback

383 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
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.
Product detaljer
Sprog:
Engelsk
Sider:
493
ISBN-13:
9783030995263
Indbinding:
Paperback
Udgave:
ISBN-10:
3030995267
Udg. Dato:
30 mar 2022
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer Nature Switzerland AG
Oplagsdato:
30 mar 2022
Forfatter(e):
Kategori sammenhænge