Unifying Theories of Programming
Qin, Shengchao.
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / edited by Shengchao Qin. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642166907
Computer science.; Software engineering.; Logic design.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Programming Techniques.; Artificial Intelligence (incl. Robotics).
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / edited by Shengchao Qin. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642166907
Computer science.; Software engineering.; Logic design.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Programming Techniques.; Artificial Intelligence (incl. Robotics).