西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Program verification using Ada / Andrew D. McGettrick.

出版发行项:

Cambridge ; New York : Cambridge University Press, 1982.

ISBN:

0521242150

ISBN:

0521285313 (pbk.)

载体形态项:

345 p. ; 24 cm.

丛编题名:

Cambridge computer science texts ; 13

个人责任者:

McGettrick, Andrew D., 1944-

论题主题:

Ada (Computer program language)

论题主题:

Computer programs-Verification.

中图法分类号:

TP312

一般附注:

Includes index.

书目附注:

Includes bibliographical references(p. 335-339) and index.

豆瓣简介：