| 000 | 00983cam a2200229 4500 | ||
|---|---|---|---|
| 001 | u101880 | ||
| 003 | SIRSI | ||
| 008 | 110131 eng | ||
| 020 | _a354088386X (pbk.) | ||
| 020 | _a9783540883869 (pbk.) | ||
| 050 |
_aQA76.9.A96 _b.A97 2008 |
||
| 245 | 0 | 0 |
_aAutomated technology for verification and analysis : _b6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / _ceditors Sungdeok Steve Cha ...[et al.] |
| 260 |
_aNew York : _bSpringer, _c2008 |
||
| 300 |
_axiv, 430 p. : _bill. ; _c23 cm. |
||
| 490 | 1 |
_aLecture notes in computer science ; _v5311 |
|
| 650 | 0 |
_aAutomatic theorem proving _vCongresses |
|
| 700 | 1 | _aCha, Sungdeok Steve | |
| 907 |
_a.b10204763 _b29-08-23 _c05-09-18 |
||
| 998 |
_am _b29-08-23 _cm _da _e- _feng _g _h0 |
||
| 999 |
_c11860 _d11860 |
||