Cover Image

Systematic software development using VDM /

Bibliographic Details
Main Author: Jones, C. B. (Cliff B.), 1944-
Format: Book
Language:English
Published: Englewood Cliffs, N.J., USA : Prentice Hall International, 1990.
Edition:2nd ed.
Series:Prentice-Hall international series in computer science.
Subjects:
Computer software > Development.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.D47 J66 1990
 
Call Number Status Get It
QA76.76.D47 J66 1990 Available