-
RecordNumber
2566
-
Author
Jones, C. B, Cliff B.
-
Title
Systematic software development using VDM
-
Author Statement
Cliff B. Jones
-
Edition
2nd ed
-
Publication
Prentice Hall
-
Publication Year
1990
-
Collation
xiv, 333 p. : ill. ; 24 cm
-
Series
Prentice Hall international series in computer science
-
Notes
0138807175 , Includes bibliographical references (p. 321-322) and indexes
-
Subject
Computer software - Development
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.D47J66
-
LC Date
1989
-
Link To Document :
