International Symposium of Formal Methods Europe (2005 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
Fitzgerald, John.; Hayes, Ian J.; Tarlecki, Andrzej.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2005 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Techniques.
Formal methods (Computer science)
System design- Congresses.
Programming Languages, Compilers, Interpreters.
Computer software- Development
Computer Science.