The axiomatic basis of computer programming

著者

• Hoare, C. A. R. (Charles Antony Richard)

書誌事項

The axiomatic basis of computer programming

C. A. R. Hoare

In-house reproduction

Rev. ed.

注記

Originally published: [S.l.] : [s.n.] , 1969

Caption title

詳細情報

• NII書誌ID(NCID): BC12480896
• 出版国コード: xx
• タイトル言語コード: eng
• 本文言語コード: eng
• ページ数/冊数: 9, [3] leaves