Mathematics of program construction
Subtitle: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings
By: Roland Backhouse, José Nuno Oliveira (eds.).
Contributors: Backhouse, Roland C., 1948-; Oliveira, José N.
Series: Lecture notes in computer science -- 1837
Publisher: Springer
Published: 2000
Place of publication: Berlin; New York
Language: eng
Number of pages: 255
Subjects: Computer programming -- Congresses.; Computer science -- Mathematics -- Congresses.
Genres: Congresses.
Other titles: MPC 2000
Notes: Second international conference under title: Mathematics of program construction.

Includes bibliographical references and index.