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.
Description
Physical Description:viii, 378 pages ; 24 cm.
ISBN:3540566252 :
0387566252 (New York)