A study in the foundations of programming methodology : specifications, institutions, charters and parchments

書誌事項

A study in the foundations of programming methodology : specifications, institutions, charters and parchments

by Joseph A. Goguen and R.M. Burstall

(Report (Center for the Study of Language and Information (U.S.)), no. CSLI-86-54)

Center for the Study of Language and Information, 1986

この図書・雑誌をさがす
注記

"June 1986"

Bibliography: p. 23-26

***記述は遡及データによる

関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA51232539
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Stanford, Calif.
  • ページ数/冊数
    26 p.
  • 大きさ
    28 cm
  • 親書誌ID
ページトップへ