54
0
0
0
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)
- 其他作者：
- 其他題名：
- 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：
電子書
-
讀者標籤：
- 系統號： 005177594 | 機讀編目格式
館藏資訊
