Languages
Maibaum, Tom.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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 :)
(Language materials, printed)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
Liu, Shaoying.; Maibaum, Tom.; Araki, Keijiro.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.