Spara
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).
- Undertitel
- 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
- Upplaga
- 2006 ed.
- ISBN
- 9783540330561
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2006-03-15
- Sidor
- 512
