Perspectives of Systems Informatics
Subtitle: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
By: edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov
Contributors: Virbitskaite, Irina; Voronkov, A. (Andreĭ), 1959-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5947
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642114854; 9783642114861
Subjects: Logic design; Computer science; Software engineering