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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.6 .I5535 2000
 
Call Number Status Get It
QA76.6 .I5535 2000 Available