عنوان
پدید آورنده
موضوع
رده
QA،76.6،.M399،1982
QA
،
76
.
6
،.
M399
،
1982
کتابخانه
محل استقرار
ISBN 0521242150
ISBN 0521285313 (pbk.)
English Book
Program verification using Ada
Andrew D. McGettrick
Cambridge
Cambridge University Press
1982
345 p. ; 24 cm.
Includes index
Bibliography: p. 335-339
Computer programs--Verification
Ada (Computer program language)
QA
76
.
6
.
M399
1982
4491 ,.McGettrick, Andrew D
