
Tools and Algorithms for the Construction and Analysis of Systems
- Undertittel
- 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I
- Redaktør
- Sebastian Junges, Guy Katz
- ISBN
- 9783032227515
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 7.5.2026
- Antall sider
- 662
