Cover Image

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /

Show other versions (1)
Bibliographic Details
Other Authors: Bird, Richard, 1943-, Morgan, Carroll, 1952-, Woodcock, Jim
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1993]
Series:Lecture notes in computer science ; 669.
Subjects:
Computer programming > Congresses.
Computer science > Mathematics > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .M367 1993
 
Call Number Status Get It
QA76.6 .M367 1993 Available