ePrints

Systematic Software Development Using VDM (1st edition)

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

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

Share