Mathematics of program construction
Subtitle: 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings
By: Roland Backhouse, José Nuno Oliveira (eds.).
Contributors: Backhouse, Roland C., 1948-; Oliveira, José N.
Series: Lecture notes in computer science -- 1837
Publisher: Springer
Published: 2000
Place of publication: New York
Language: eng
Number of pages: 255
Subjects: Computer programming -- Congresses.; Computer science -- Mathematics -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.