//]]>
Mathematics of program construction : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008, proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring. - Berlin : Springer, 2010. - x, 421 p. : ill - Lecture notes in computer science ; 5133 .

Includes bibliographical references and index

9783540705932


Computer programming--Congresses.
Computer science--Mathematics--Congresses

005.1 / M426