語系
Naumann, David.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
Gheyi, Rohit.; Workshop on the Preservation of Stability under Discretization ((2001 :); Naumann, David.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Naumann, David.
(書目-語言資料,印刷品)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
SpringerLink (Online service); Naumann, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Management of Computing and Information Systems.
Mathematical logic.
Formal methods (Computer science)
Computer logic.
Software engineering.
Computers.
Computer Science.
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.