An edition of Mathematics of program construction
(1993)
Mathematics of program construction
second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
by Bird, Richard, Carroll Morgan, and Jim Woodcock
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)
May 1993, Springer
Paperback
in English
3540566252 9783540566250
|
zzzz
|
2
Mathematics of program construction: second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
1993, Springer-Verlag
in English
3540566252 9783540566250
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references.
"Papers ... presented at the Second International Conference on the Mathematics of Program Construction, held at St Catherine's College, Oxford, during the week of 29 June-3 July, 1992"--Pref.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
| October 4, 2021 | Edited by ImportBot | import existing book |
| February 5, 2019 | Created by MARC Bot | import existing book |