| 000 | 02405cam a22005417a 4500 | ||
|---|---|---|---|
| 001 | 15605097 | ||
| 003 | OSt | ||
| 005 | 20210903114538.0 | ||
| 008 | 090130s2009 gw a b 101 0 eng d | ||
| 010 | _a 2009921993 | ||
| 015 |
_a09,N10,0077 _2dnb |
||
| 016 | 7 |
_a992751535 _2DE-101 |
|
| 020 | _a9783642004308 (acidfree paper) | ||
| 035 | _a(OCoLC)ocn320934399 | ||
| 038 | _akhadija | ||
| 040 |
_aZCU _beng _cZCU _dGBVCP _dDEBBG _dOCL _dDLC |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA76.76.V47 _bM63 2008 |
| 082 | 0 | 0 |
_a006.3 _223 _bMOD |
| 084 |
_aDAT 325f _2stub |
||
| 084 |
_aDAT 706f _2stub |
||
| 084 |
_aSS 4800 _2rvk |
||
| 111 | 2 |
_aMoChArt 2008 _d(2008 : _cPatrai, Greece) _982104 |
|
| 245 | 1 | 0 |
_aModel Checking and Artificial Intelligence _b5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / _cDoron A. Peled, Michael J. Wooldrige (eds.). |
| 246 | 3 | _aMoChArt 5 | |
| 246 | 3 | _aMoChArt five | |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _cc2009. |
||
| 300 |
_a188 p. : _bill. ; _c24 cm. |
||
| 490 | 1 |
_aLecture notes in computer science, _x0302-9743 ; _v5348. _aLecture notes in artificial intelligence |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 563 | _apaperback | ||
| 650 | 0 |
_aComputer systems _xVerification _vCongresses. _982105 |
|
| 650 | 0 |
_aComputer software _xVerification _vCongresses. _982106 |
|
| 650 | 0 |
_aArtificial intelligence _vCongresses. _982107 |
|
| 650 | 4 |
_aKünstliche Intelligenz _xModel Checking _vKongress _zPatras <2008> _982108 |
|
| 650 | 0 | 7 |
_aModel Checking. _2swd _982109 |
| 655 | 7 |
_aKongress. _2swd _981663 |
|
| 700 | 1 |
_aPeled, Doron A., _d1962- _982110 |
|
| 700 | 1 |
_aWooldrige, Michael J. _982111 |
|
| 830 | 0 |
_aLecture notes in computer science ; _v5348. _926093 |
|
| 830 | 0 |
_aLecture notes in computer science. _pLecture notes in artificial intelligence. _981672 |
|
| 856 | 4 | 1 |
_3Table of contents _uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| 856 | 4 | 1 |
_uhttp://d-nb.info/992751535/04 _3Inhaltsverzeichnis |
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html |
| 906 |
_a7 _bcbc _ccopycat _d2 _eepcn _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c31950 _d31950 |
||