Lecture Notes in Computer Science : 13244
1st ed. 2022, 2022
Volltextzugriff (PDF)
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 : 13244
- Auflage
- 1st ed. 2022
- Ort / Verlag
- Cham : Springer International Publishing
- Erscheinungsjahr
- 2022
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783030995270DOI: 10.1007/978-3-030-99527-0Titel-ID: 99371273737806441
- Format
- 1 Online-Ressource (XXI, 493 p. 140 illus)
- Schlagworte
- Computer science, Coding theory, Information theory, Microprogramming , Computer engineering, Computer networks , Software engineering, Logic programming