Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) 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 (vol. # 3920) 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 / [electronic resource] :
edited by Holger Hermanns, Jens Palsberg.
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- xvi, 506 pages : illustration, digital ; 24 cm.
- Lecture Notes in Computer Science, 3920 0302-9743 ; .
9783540330578 (electronic bk.)
System design--Congresses.
Computer software--Development--Congresses.
Computer Science.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
QA76.9.S88 / T33 2006
004.21
9783540330578 (electronic bk.)
System design--Congresses.
Computer software--Development--Congresses.
Computer Science.
Algorithm Analysis and Problem Complexity.
Computer Communication Networks.
Logics and Meanings of Programs.
Software Engineering.
QA76.9.S88 / T33 2006
004.21