Perspectives of Systems Informatics
Subtitle: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
By: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Contributors: Virbitskaite, Irina; Voronkov, A. (Andreĭ), 1959-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7162
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642297090
Subjects: Computer Imaging, Vision, Pattern Recognition and Graphics; Programming Techniques; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Computer vision; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Computer software