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

Author：edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov.
Publisher：Springer Berlin Heidelberg
ISBN：9783642297090 (electronic bk.) ; 9783642297083 (paper)
Publication Date：2012
其他作者：Clarke, Edmund. ; Virbitskaite, Irina. ; Voronkov, Andrei.
語言：eng
出版地：Berlin, Heidelberg :
Description

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

Search Same Author