Shelfclass_id |
4.B.3 |
Sortkey |
SPIN |
Authors |
Dragan Boésnaécki, Stefan Edelkamp |
Title |
SPIN Workshop 2007: Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007: proceedings |
Publisher |
Springer |
Year |
2006 |
Languages |
eng |
Isbn |
3540733698, 9783540733690 |
Series |
Lecture Notes in Computer Science |
Volume |
4595 |
Issn |
0302-9743 |
Description |
x, 283 p. ill. 23 cm |
Record date |
20090217 |
Location |
New York |
Keywords |
Computer software |
Notes |
"Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"-- Pref. |
Urlnote |
Table of contents only |
Urls |
http://www.loc.gov/catdir/toc/fy0715/2007929430.html |