Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)

by Cliff B. Jones

Paperback

ISBN: 978-0-13-880733-7

ISBN-10: 0-13-880733-7

Prentice Hall · 1990

See also (possibly by other authors):
1986PaperbackSystematic software development using VDM (Prentice-Hall International series in computer science)
1986HardcoverSystematic software development using VDM (Prentice-Hall International series in computer science)