Mathematics of program construction
Subtitle: 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
By: Tarmo Uustalu (ed.).
Contributors: Uustalu, Tarmo.
Series: Lecture notes in computer science -- 4014.
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 454
Subjects: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses
Genres: Congresses.
Other titles: MPC 2006.
Notes: Includes bibliographical references and index.