
Tools and Algorithms for the Construction and Analysis of Systems
- Undertitel
- 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
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2026-05-07
- Sidor
- 662