Cover Image

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /

Show other versions (1)

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004. The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addres...

Full description

Bibliographic Details
Corporate Authors: MPC 2004 Stirling, Stirling, Scotland, SpringerLink (Online service)
Other Authors: Kozen, Dexter, 1951-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3125.
Subjects:
Computer programming > Congresses.
Computer science > Mathematics > Congresses.
COMPUTERS > Software Development & Engineering > Systems Analysis & Design.
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 2004
 
Call Number Status Get It
QA76.6 .I5535 2004 Available