語系
Maibaum, Tom.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fundamental approaches to software engineering = third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 : proceedings /
by:
Maibaum, Tom.; SpringerLink (Online service); FASE 2000 ((2000 :); ETAPS 2000 ((2000 :)
(書目-語言資料,印刷品)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
Cuellar, Jorge.; Maibaum, Tom.; Sere, Kaisa.; SpringerLink (Online service); International Symposium on Formal Methods (2008 :)
(書目-語言資料,印刷品)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
Maibaum, Tom.; SpringerLink (Online service); Araki, Keijiro.; Liu, Shaoying.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Techniques.
Software engineering- Congresses.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Models and Principles.
System design- Mathematics
Computer software- Development
Formal methods(Computer science)
Computer Science.