Cover Image

Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings /

Bibliographic Details
Corporate Authors: MPC 2000 Ponte do Lima, Portugal, SpringerLink (Online service)
Other Authors: Backhouse, Roland C., 1948-, Oliveira, José N.
Format: Conference Proceeding eBook
Language:English
Published: New York : Springer, 2000.
Series:Lecture notes in computer science ; 1837.
Subjects:
Computer programming > Congresses.
Computer science > Mathematics > Congresses.
Computer programming.
Computer science > Mathematics.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (vii, 255 pages)
Bibliography:Includes bibliographical references and index.
ISBN:3540677275 (softcover : alk. paper)
9783540677277 (softcover : alk. paper)