Toggle Main Menu Toggle Search

Open Access padlockePrints

Systematic Software Development using VDM (2nd edition)

Lookup NU author(s): Professor Cliff Jones


Publication metadata

Author(s): Jones CB

Series Editor(s): Hoare, C.A.R.

Publication type: Authored Book

Publication status: Published

Edition: 2nd

Series Title: Prentice Hall International Series in Computer Science

Year: 1990

Number of Pages: 333

Publisher: Prentice Hall

Place Published: London

Notes: The publisher (PHI) released the copyright so I am now making a PDF available

Library holdings: Search Newcastle University Library for this item

ISBN: 0138807337