
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 II
- Redaktør
- Sebastian Junges, Guy Katz
- ISBN
- 9783032227485
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.4.2026
- Antall sider
- 603
