Unifying theories of programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings / edited by Shengchao Qin

• 作者： UTP 2010 (2010 : Shanghai, China)
• 其他作者：
  • Qin, Shengchao.
  • SpringerLink (Online service)
• 其他題名：
  • Springer eBooks
  • UTP 2010
  • Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings
• 出版： Berlin, Heidelberg : Springer Berlin Heidelberg 2010
• 叢書名： Lecture notes in computer science ; ,6445
• 主題： Computer programming--Congresses. , Computer science , Logics and Meanings of Programs. , Software engineering. , Programming Languages, Compilers, Interpreters. , Mathematical Logic and Formal Languages. , Programming Techniques. , Artificial Intelligence (incl. Robotics)
• ISBN： 9783642166907 (electronic bk.) 、 9783642166891 (paper)
• URL： 電子書
  
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 系統號： 005177594 | 機讀編目格式