
Tools and Algorithms for the Construction and Analysis of Systems
- Alaotsikko
- 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
- Toimittaja
- Sebastian Junges, Guy Katz
- ISBN
- 9783032227515
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 7.5.2026
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 662