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