Institutions : abstract model theory for computer science

著者

• Goguen, Joseph
• Burstall, Rod M.
• Stanford University. Center for the Study of Language and Information

書誌事項

Institutions : abstract model theory for computer science

by J.A. Goguen and R.M. Burstall

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-85-30）

Center for the Study of Language and Information, 1985

注記

"August 1985"

Bibliography: p. 60-70

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

詳細情報

• NII書誌ID(NCID): BA5122908X
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: 70 p.
• 大きさ: 28 cm
• 親書誌ID:
  • BA10949995