| Record ID | marc_loc_2016/BooksAll.2016.part37.utf8:95978016:2092 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part37.utf8:95978016:2092?format=raw |
LEADER: 02092cam a22004817a 4500
001 2009921993
003 DLC
005 20140606075800.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 (acid-free paper)
020 $a364200430X
035 $a(OCoLC)ocn320934399
040 $aZCU$beng$cZCU$dGBVCP$dDEBBG$dOCL$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bM63 2008
082 00 $a006.3$223
084 $aDAT 325f$2stub
084 $aDAT 706f$2stub
084 $aSS 4800$2rvk
111 2 $aMoChArt 2008$d(2008 :$cPatrai, Greece)
245 10 $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.
650 0 $aComputer systems$xVerification$vCongresses.
650 0 $aComputer software$xVerification$vCongresses.
650 0 $aArtificial intelligence$vCongresses.
650 4 $aKünstliche Intelligenz$xModel Checking$vKongress$zPatras <2008>
655 7 $aKongress.$2swd
650 07 $aModel Checking.$2swd
700 1 $aPeled, Doron A.,$d1962-
700 1 $aWooldrige, Michael J.
830 0 $aLecture notes in computer science ;$v5348.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 41 $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 41 $uhttp://d-nb.info/992751535/04$3Inhaltsverzeichnis
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html