자료유형  

 단행본

International Standard Book Number  

0521285313 (pbk.)

Dewey Decimal Classification Number  

001.64/25/0287-19

Main Entry-Personal Name  

MacGettrick, Andrew D. , 1944-

Publication, Distribution, etc. (Imprint  

Cambridge : Cambridge University Press, 1982.

Physical Description  

345 p. ; 24 cm.

General Note  

Includes index.

Bibliography, Etc. Note  

Bibliography: p. 335-339.

Subject Added Entry-Topical Term  

Computer programs Verification

Subject Added Entry-Topical Term  

Ada (Computer program language)

Control Number  

joongbu:40563