عنوان
پدید آورنده
موضوع
رده
QA،76.6،.M399،1982
QA
،
76
.
6
،.
M399
،
1982
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
ISBN 0521242150
(Number (ISBN
ISBN 0521285313 (pbk.)
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Program verification using Ada
First Statement of Responsibility
Andrew D. McGettrick
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
1982
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
345 p. ; 24 cm.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes index
Text of Note
Bibliography: p. 335-339
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer programs--Verification
Entry Element
Ada (Computer program language)
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
6
Classification Record Number
.
M399
1982
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
4491 ,.McGettrick, Andrew D
