Languages
Naumann, David.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
SpringerLink (Online service); Naumann, David.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer logic.
Software engineering.
Computer Science.
Computer programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Computers.
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computation by Abstract Devices.