Computer programming - Congresses. - Mathematics

Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings / by: (Language materials, printed)

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Computer programming

Programming Languages, Compilers, Interpreters.

Computer programs

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.