Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)
Bok Engelsk 1993
| Utgitt | Berlin : Springer-Verlag , c1993
|
|---|---|
| Omfang | VIII, 378 s.
|
| Emner | Computer science - Mathematics Congresses
Electronic digital computers - Programming Congresses Programmeringsmetoder programmering teori matematisk programkonstruksjon |
| ISBN | 0387566252. - 3540566252
|
