Mathematics of program construction : 2nd international conference proceedings, Oxford, U.K., June 29-July 3, 1992
Mathematics of program construction : 2nd international conference proceedings, Oxford, U.K., June 29-July 3, 1992
-
- Berlin Springer-Verlag 1993
- viii,378 p. 23 cm
- Lecture notes in computer science ; v.669 .
3-540-56625-2
Computer Science and Engineering
Programming(Mathematics) , Computer programs-Mathematics-Congresses
681.3.06:51Mat:2:92
3-540-56625-2
Computer Science and Engineering
Programming(Mathematics) , Computer programs-Mathematics-Congresses
681.3.06:51Mat:2:92