An edition of Mathematics of program construction
(1993)
Mathematics of Program Construction
Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)
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
1993, Springer-Verlag
in English
3540566252 9783540566250
|
zzzz
|
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
|
aaaa
|
Book Details
First Sentence
"The ambivalence towards notation is reflected in what I am tempted to call "hybrid theories"; these are very traditional and are warmly recommended to this very day."
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 |