Mathematics of program construction
Subtitle: 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : proceedings
By: Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.).
Contributors: Bolduc, Claude; Desharnais, Jules; Ktari, Béchir
Series: Lecture notes in computer science -- 6120; LNCS sublibrary: SL 1-theoretical computer science and general issues
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 425
ISBN-13: 9783642133206
Subjects: Softwareentwicklung; Congresses; Computer science; Computer programming; Mathematics; Mathematische Methode
Notes: Includes bibliographical references and index.

Also issued online.