Systematic software development using VDM /Author: Jones, C. B.
Publisher: New York : Prentice Hall,
Date: 1990. This title can be found in 1 Iowa libraries.
Systematic software development using VDM /Author: Jones, C. B.
Publisher: Englewood Cliffs, N.J. : Prentice Hall International,
Date: c1986. This title can be found in 1 Iowa libraries.
YOU MAY BORROW ITEMS YOU FIND IN THE SILO LOCATOR THROUGH YOUR
LOCAL PUBLIC LIBRARY.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.