Languages
Maibaum, Tom.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.