語系
Maibaum, Tom.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
FM 2008: Formal Methods15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(1998 :); Cuellar, Jorge.; Maibaum, Tom.; Sere, Kaisa.; SpringerLink (Online service)
(書目-電子資源)
Formal methods and software engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(1998 :); Araki, Keijiro.; Liu, Shaoying.; Maibaum, Tom.; SpringerLink (Online service)
(書目-電子資源)
Fundamental approaches to software engineeringthird 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:
(1998 :); Maibaum, Tom.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Models and Principles.
Formal methods(Computer science)
Computer Science.