Paperback
ISBN: 978-0-13-880733-7
ISBN-10: 0-13-880733-7
Prentice Hall · 1990
See also (possibly by other authors): | ||
1986 | Paperback | Systematic software development using VDM (Prentice-Hall International series in computer science) |
1986 | Hardcover | Systematic software development using VDM (Prentice-Hall International series in computer science) |