Jones, Cliff B.
Systematic software development using VDM / Cliff B. Jones - 2nd ed. - New york Prentice hall International (UK) Ltd n.d. - xiv, 333 p.
Includes bibliography and index.
9780138807337
Computer software - Development
005 / JON
Systematic software development using VDM / Cliff B. Jones - 2nd ed. - New york Prentice hall International (UK) Ltd n.d. - xiv, 333 p.
Includes bibliography and index.
9780138807337
Computer software - Development
005 / JON