Languages
International Conference on Formal Engineering Methods (2016 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
International Conference on Formal Engineering Methods (2016 :); Ogata, Kazuhiro.; Lawford, Mark.; SpringerLink (Online service); Liu, Shaoying.
(Electronic resources)
Subjects
Software engineering
Computer logic.
Software Engineering.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Programming Techniques.
Formal methods (Computer science)
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer science.
Computer Science.
Computer Communication Networks.
Computer programming.