Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, july 21, 2008 : revised selected and invited papers / Doron A. Peled...[et al.] (Eds.)

• Record Nr.: UNISA990003326870203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2009
• ISBN: 978-3-642-00430-8
• Descrizione fisica: 188 p. : ill. ; 24 cm
• Collana: Lecture notes in artificial intelligence ; 5348
• Disciplina: 006.3
• Soggetti: Intelligenza artificiale - Congressi - Patras - 2009
• Collocazione: 006.3 LNAI 5348
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia