Systematic software development using VDM

Jones Cliff B

Systematic software development using VDM Jones Cliff B - 1986 - xvi,300p. cm. - Prentice Hall International Series in Computer Science .

Bibliography 294-296p

48511

Textual


Computer science

D65,8(B)92, M6