Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence
副标题: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN: 9783540741275
出版社: Springer
出版年: 2007-09-14
页数: 184
定价: USD 59.95
装帧: Paperback