Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Editat de Ron van der Meyden et al.
4 mai 2011
Paperback
Preț: 325.48 lei 406.84 lei
43-57 zile
-20%