Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
아직 평점이 없습니다
2007
·
영어
·
페이퍼백