Shelfclass_id |
3.A |
Sortkey |
TACAS |
Authors |
Orna Grumberg, Michael Huth |
Title |
TACAS 2007: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007: proceedings |
Publisher |
Springer |
Year |
2007 |
Languages |
eng |
Isbn |
3540712089, 9783540712084 |
Series |
Lecture Notes in Computer Science |
Volume |
4424 |
Issn |
0302-9743 |
Description |
(soft cover: alk. paper) (soft cover: alk. paper) xx, 738 p. ill. 24 cm. |
Record date |
20090217 |
Location |
New York |
Keywords |
System design, Computer software |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0826/2007922076-d.html |