Systematic software development using VDM
Jones, Cliff B.
Systematic software development using VDM - 2nd ed - New York Prentice-Hall, 1 1990 - xiv,333 p. 23 cm - .
0-13-880733-70
Computer software-Development
681.3.06 Jon
Systematic software development using VDM - 2nd ed - New York Prentice-Hall, 1 1990 - xiv,333 p. 23 cm - .
0-13-880733-70
Computer software-Development
681.3.06 Jon