Hinze, Ralf.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematics of program construction12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(1998 :); Hinze, Ralf.; SpringerLink (Online service); Voigtlander, Janis.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Mathematics
Computer programming
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Categories (Mathematics)