Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

von: Edmund Clarke · Irina Virbitskaite · Andrei Voronkov Taschenbuch Details (USA) ISBN-13: 978-3-642-29710-6 ISBN-10: 3-642-29710-2 Springer · 2012