Perspectives of Systems Informatics [E-Book]: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov.
Clarke, Edmund.
Virbitskaite, Irina. / Voronkov, Andrei.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642297090
10.1007/978-3-642-29709-0
Lecture notes in computer science ; 7162
Full Text
Description not available.