Store besparelser
Hurtig levering
Fri fragt over 499,-
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
Bogcover for Tools and Algorithms for the Construction and Analysis of Systems af , 9783030995263
Specifikationer
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):

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
Format:

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.

Forlags Vejl. pris
404,21 kr
Hos Booktok
358 kr
Læg i kurv nu
Sikker betaling
6 - 8 hverdage

Specifikationer
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):
Finder produkter...
Kategori sammenhænge