Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers

作者：edited by Ron van der Meyden, Jan-Georg Smaus.
出版社：Springer Berlin Heidelberg
ISBN：9783642206740 (electronic bk.) ; 9783642206733 (paper)
出版日期：2011
其他作者：Meyden, Ron van der. ; Smaus, Jan-Georg.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

vii, 129 p. ::ill., digital ;:24 cm.

搜尋同作者