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

Detaljer

Bibliotek som har denne