Languages
Hinze, Ralf.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Mathematics of program construction = 12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
Hinze, Ralf.; Voigtlander, Janis.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Computer programs- Mathematics
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer programming- Mathematics
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.