Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / [electronic resource] :
edited by Stefan Edelkamp, Alessio Lomuscio.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- vi, 184 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4428 0302-9743 ; .
9783540741282 (electronic bk.) 9783540741275 (paper)
Computer systems--Verification--Congresses.
Computer software--Verification--Congresses.
Artificial intelligence--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
9783540741282 (electronic bk.) 9783540741275 (paper)
Computer systems--Verification--Congresses.
Computer software--Verification--Congresses.
Artificial intelligence--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.