Mathematics of program construction : international conference proceedings, Groningen, The Netherlands, June 26-30, 1989
Mathematics of program construction : international conference proceedings, Groningen, The Netherlands, June 26-30, 1989
-
- Berlin Springer-Verlag 1989
- vi,421 p. 26 cm
- .
3-540-51305-1
Computer Science and Engineering
Computer programs-Verification-Congresses , Computer programs-Mathematics-Congresses
681.3.06:51Mat:89
3-540-51305-1
Computer Science and Engineering
Computer programs-Verification-Congresses , Computer programs-Mathematics-Congresses
681.3.06:51Mat:89