Program verification using Ada

書誌事項

Program verification using Ada

Andrew D. McGettrick

(Cambridge computer science texts, 13)

Cambridge University Press, 1982

  • : pbk

大学図書館所蔵 件 / 28

この図書・雑誌をさがす

注記

Bibliography: p. 335-339

Includes index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ