Mathematics of program construction proceedings of the ...held July 3 - 5, 2000

Saved in:
Bibliographic Details
Corporate Author: International conference
Format: Book
Published: Berlin Springer 2000
Series:Lecture notes in computer science 1837
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:vii, 255 p. ill. 24 cm
Bibliography:Includes bibliographical references and index
ISBN:3540677275