Toggle Main Menu Toggle Search

Open Access padlockePrints

Systematic Software Development Using VDM (1st edition)

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Jones CB

Publication type: Authored Book

Publication status: Published

Edition: 1st

Series Title: Prentice Hall International Series in Computer Science

Year: 1986

Number of Pages: 300

Publisher: Prentice Hall International

Place Published: Englewood Cliffs, NJ

Library holdings: Search Newcastle University Library for this item

ISBN: 0138807175


Actions

Link to this publication


Share