02356cam a22005297a 4500 15605097 OSt 20150408114156.0 090130s2009 gw a b 101 0 eng d 2009921993 09,N10,0077 dnb 992751535 DE-101 9783642004308 (acidfree paper) 364200430X (OCoLC)ocn320934399 ZCU eng ZCU GBVCP DEBBG OCL DLC lccopycat QA76.76.V47 M63 2008 006.3 23 MOC DAT 325f stub DAT 706f stub SS 4800 rvk MoChArt 2008 (2008 : Patrai, Greece) 3491 Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldrige (eds.). MoChArt 5 MoChArt five Berlin ; New York : Springer, c2009. 188 p. : ill. ; 24 cm. Lecture notes in computer science, 0302-9743 ; 5348. Lecture notes in artificial intelligence Includes bibliographical references and index. Computer systems Verification Congresses. 3492 Computer software Verification Congresses. 3493 Artificial intelligence Congresses. K�unstliche Intelligenz Model Checking Kongress Patras <2008> 40717 Model Checking. swd Kongress. swd 3496 Peled, Doron, 1962- 3497 Wooldrige, Michael J. 3498 Lecture notes in computer science ; 5348. 3499 Lecture notes in computer science. Lecture notes in artificial intelligence. Table of contents http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017188181&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://d-nb.info/992751535/04 Inhaltsverzeichnis Publisher description http://www.loc.gov/catdir/enhancements/fy1109/2009921993-d.html 7 cbc copycat 2 epcn 20 y-gencatlg ddc DVD 32450 266950 0 2013-11-23 0 0 006.3 MOC 2013-11-23 CL CL 2013-11-23 00:00:00 BOOK ddc 0