Lecture Notes in Computer Science
2022
Details
- Autor(en) / Beteiligte
- Titel
- 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
- Ist Teil von
- Lecture Notes in Computer Science
- Ort / Verlag
- Cham : Springer Nature
- Erscheinungsjahr
- 2022
- Link zum Volltext
- Beschreibungen/Notizen
- Open Access
- Creative Commons
- English
- Sprache
- 0|e
- Identifikatoren
- ISBN: 9783030995270Titel-ID: 99371791762906441
- Format
- 1 electronic resource (493 pages)
- Schlagworte
- Computer science, Coding theory & cryptology, Algorithms & data structures, Computer networking & communications, Software Engineering, Artificial intelligence