Tools and Algorithms for the Construction and Analysis of Systems 1st Auflage

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

Tools and Algorithms for the Construction and Analysis of Systems: 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 1st Auflage verfasst von Holger Hermanns; ‎Jens Palsberg und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Tools and Algorithms for the Construction and Analysis of Systems lauten 9783540330578, 3540330577 und die Druck-ISBNs lauten 9783540330561, 3540330569. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Tools and Algorithms for the Construction and Analysis of Systems: 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 1st Auflage verfasst von Holger Hermanns; ‎Jens Palsberg und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Tools and Algorithms for the Construction and Analysis of Systems lauten 9783540330578, 3540330577 und die Druck-ISBNs lauten 9783540330561, 3540330569. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.