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.