Shelfclass_id |
3.A |
Sortkey |
TACAS |
Authors |
Holger Hermanns, Jens Palsberg |
Title |
TACAS 2006: 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 |
Publisher |
Springer-Verlag |
Year |
2006 |
Languages |
eng |
Isbn |
3540330569, 9783540330561 |
Series |
Lecture Notes in Computer Science |
Volume |
3920 |
Issn |
0302-9743 |
Description |
xvi, 506 p. ill. 24 cm. |
Record date |
20080903 |
Location |
New York |
Keywords |
System design, Computer software |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0661/2006922189-d.html |