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

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

Show other versions (1)
Bibliographic Details
Main Author: Qin, Shengchao
Corporate Author: SpringerLink (Online service)
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6445
Subjects:
Computer science
Software engineering
Logic design
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:http://dx.doi.org/10.1007/978-3-642-16690-7

Similar Items

Similar Items