-
RecordNumber
57950
-
Title
Formal methods of program verification and specification
-
Author Statement
H.K. Berg ... [et al.]
-
Publication
Prentice-Hall Englewood Cliffs, N.J.
-
Publication Year
1982
-
Collation
xiv, 207 p. : ill
-
Series
Prentice-Hall software series
-
Notes
Includes bibliographical references and index , 0133288072
-
Subject
Computer programs Verification , Computer programs Specifications , Formal methods (Computer science)
-
ADDED ENTRIES
AU Berg, H. K. (Helmut K.)
-
LC Class
QA
-
LC Number
76.6
-
LC CutterNumber
.F658
-
LC Date
1982
-
وارد کنندة اطلاعات
0133288072
-
Link To Document :
