ROLLAND, F. D. PROGRAMMING WITH VDM / ROLLAND, F. D. - [S.N] : MACMILLAN PRESS LTD ، 1992 - 122 P Subjects--Topical Terms: PROGRAMMINGCOMPUTING Dewey Class. No.: 005.13 / R P