23
0
0
0
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / edited by Jin Song Dong, Huibiao Zhu
- 作者： International Conference on Formal Engineering Methods (12th : 2010 : Shanghai, China)
- 其他作者：
- 其他題名：
- Springer eBooks
- ICFEM 2010
- 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings
- 出版： Berlin, Heidelberg : Springer Berlin Heidelberg 2010
- 叢書名： Lecture notes in computer science ; ,6447
- 主題： Formal methods (Computer science)--Congresses. , Software engineering--Congresses. , Computer science , Software engineering. , Programming Techniques. , Programming Languages, Compilers, Interpreters. , Algorithm Analysis and Problem Complexity. , Mathematical Logic and Formal Languages. , Computer communication networks
- ISBN： 9783642169014 (electronic bk.) 、 9783642169007 (paper)
- URL：
電子書
-
讀者標籤：
- 系統號： 005177591 | 機讀編目格式
館藏資訊
