Cover Image

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010. The 12 revised full papers pr...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Qin, Shengchao. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6445
Subjects:
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).
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-16690-7

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-16690-7

Similar Items