Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers

作者：edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov.
出版社：Springer Berlin Heidelberg
ISBN：9783642297090 (electronic bk.) ; 9783642297083 (paper)
出版日期：2012
其他作者：Clarke, Edmund. ; Virbitskaite, Irina. ; Voronkov, Andrei.
語言：eng
出版地：Berlin, Heidelberg :
內容簡介

xiii, 410 p. ::ill., digital ;:24 cm.

搜尋同作者