Material Type  

 단행본

ISBN  

0521285313 (pbk.)

DDC  

001.64/25/0287-19

Callnumber  

005.13 M145p

Author  

MacGettrick, Andrew D. , 1944-

Title/Author  

Program verification using Ada : Andrew D. McGettrick.

Publish Info  

Cambridge : Cambridge University Press, 1982.

Material Info  

345 p. ; 24 cm.

Added Entry-Title  

Cambridge computer science texts ; 13

General Note  

Includes index.

서지주기  

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