Perspectives of Systems Informatics
Clarke, Edmund.
Perspectives of Systems Informatics 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. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642297090
Computer science.; Software engineering.; Computer software.; Logic design.; Computer vision.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.; Algorithm Analysis and Problem Complexity.; Computer Imaging, Vision, Pattern Recognition and Graphics.
Perspectives of Systems Informatics 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. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642297090
Computer science.; Software engineering.; Computer software.; Logic design.; Computer vision.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.; Algorithm Analysis and Problem Complexity.; Computer Imaging, Vision, Pattern Recognition and Graphics.