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