TY - BOOK ID - 2565171 TI - Mathematics of program construction : third International Conference, MPC'95 : Kloster Irsee, Germany, July 17-21, 1995 : proceedings PY - 1995 VL - 947 SN - 3540601171 3540494456 9783540601173 PB - Berlin ; Heidelberg ; New York Springer DB - UniCat KW - Computer software KW - Software engineering. KW - Computer programming KW - Computer science KW - Verification. KW - Mathematics KW - Electronic digital computers KW - Programming KW - Congresses KW - Information theory. KW - Computer science. KW - Computer software. KW - Logic design. KW - Software Engineering/Programming and Operating Systems. KW - Theory of Computation. KW - Programming Techniques. KW - Software Engineering. KW - Algorithm Analysis and Problem Complexity. KW - Logics and Meanings of Programs. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Software, Computer KW - Computer systems KW - Informatics KW - Science KW - Communication theory KW - Communication KW - Cybernetics KW - Computer software engineering KW - Engineering KW - Computer software - Verification. KW - Computer programming - Congresses. KW - Computer science - Mathematics - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2565171 AB - This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies. ER -