Tallenna
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).
- Alaotsikko
- 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
- Toimittaja
- Holger Hermanns, Jens Palsberg
- Painos
- 2006 ed.
- ISBN
- 9783540330561
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 15.3.2006
- Sivumäärä
- 512
