Mathematics of Program Construction
Subtitle: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
By: edited by Jeremy Gibbons, Pablo Nogueira
Contributors: Nogueira, Pablo; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7342
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642311130
Subjects: Mathematical Logic and Formal Languages; Logic design; Computational complexity; Discrete Mathematics in Computer Science; Software engineering; Math Applications in Computer Science; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters