Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... Notes in Computer Science, Band 7162)

von: Edmund Clarke · Irina Virbitskaite · Andrei Voronkov Taschenbuch Details (Deutschland) ISBN: 978-3-642-29708-3 ISBN-10: 3-642-29708-0 Springer · 2012