1st ed. 2024, 2024
Details
- Autor(en) / Beteiligte
- Titel
- Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
- Auflage
- 1st ed. 2024
- Ort / Verlag
- Cham : Springer Nature Switzerland
- Erscheinungsjahr
- 2024
- Link zum Volltext
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783031572494DOI: 10.1007/978-3-031-57249-4Titel-ID: 99373965444306441
- Format
- 1 Online-Ressource (XXI, 386 p. 143 illus., 113 illus. in color)
- Schlagworte
- Computer science, Microprogramming , Computer networks , Computer simulation, Software engineering