Mathematics of program construction : 375th anniversary of the Groningen University international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings
J. L. A. van de Snepscheut (ed.)
Bok
·
Engelsk
·1989
Detaljer
Utgitt
Berlin : Springer , c1989
Omfang
VI, 420 s. : ill.
Opplysninger
"... papers ... presented at the Conference on Mathematics of Program Construction, held June 26-30, 1989" - Forordet.
