Library of American University of Madaba

Normal View MARC View ISBD View

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

ISBN: 9783540705932

Subjects--Topical Terms:
Computer programming--Congresses.
Computer science--Mathematics--Congresses

Dewey Class. No.: 005.1 / M426