Spar
Tools and Algorithms for the Construction and Analysis of Systems
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events).
- Undertittel
- 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
- Redaktør
- Holger Hermanns, Jens Palsberg
- Opplag
- 2006 ed.
- ISBN
- 9783540330561
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 15.3.2006
- Antall sider
- 512
