語系
Naumann, David.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
Gheyi, Rohit.; Naumann, David.; SpringerLink (Online service)
(書目-電子資源)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
Naumann, David.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Science, general.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer Science.