59
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 | 機讀編目格式