TY  - BOOK
AU  - Kozen Dexter ed.
ED  - International Conference, MPC 2004 on Mathematics of Program Construction
ED  - International conference, MPC 2004 on mathematics of program construction
TI  - Mathematics of program construction: proceedings
SN  - 3-540-22380-0
U1  - 5.1 
PY  - 2004///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer programming
KW  - Program specification
KW  - Program transformation
KW  - Programming methodology
N2  - Among the topics of the papers addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics
ER  -