語系
International Conference on Formal Engineering Methods (2016 :)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.; Liu, Shaoying.; SpringerLink (Online service)
(書目-電子資源)
主題
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.