02039cam a22005177a 4500 7919704 OSt 20150408113915.0 m d cr n 110828s2009 gw a |sb 101 0 eng d dnb 992751535 DE-101 9783642004308 (acidfree paper) 364200430X (WaSeSS)ssj0000318967 ZCU eng دار اجنادين GBVCP DEBBG OCL DLC WaSeSS lccopycat 006.3 21 M O M stub stub rvk MoChArt 2008 (2008 : Patrai, Greece) 3491 Model Checking and Artificial Intelligence Model Checking and Artificial Intelligence [electronic resource] : 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. : ills. ; 24 c.m. Lecture notes in computer science, 0302-9743 ; 5348. Lecture notes in artificial intelligence Includes bibliographical references and index. License restrictions may limit access. Computer systems Verification Congresses. 3492 Computer software Verification Congresses. 3493 Artificial intelligence Congresses. 3451 Künstliche Intelligenz Model Checking Kongress Patras <2008> 3494 Model Checking. swd 3495 Kongress. swd 3496 Peled, Doron, 1962- 3497 Wooldrige, Michael J. 3498 SpringerLink ebooks - Computer Science (2009) Lecture notes in computer science ; 5348. 3499 Lecture notes in computer science. Library of Congress record ddc DVD 13952 248452 0 2013-03-10 0 0 006.3 M O M 2011-08-28 IC 00102047 IC 2013-03-10 00:00:00 BOOK ddc 0 0 2013-03-10 0 0 006.3 M O M 2011-08-28 IC 00102049 IC 2013-03-10 00:00:00 BOOK ddc 0