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 edition 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
1993, Springer-Verlag
in English
3540566252 9783540566250
|
aaaa
|
2
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
|
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
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| September 11, 2024 | Edited by ImportBot | import existing book |
| July 23, 2024 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| November 16, 2020 | Edited by MARC Bot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |