Mathematical logic and programming languages

著者

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

書誌事項

Mathematical logic and programming languages

edited by C.A.R. Hoare and J.C. Shepherdson

（Prentice-Hall International series in computer science）

Prentice Hall International, c1985

注記

The papers in this book were first published in the Philosophical Transactions of the Royal Society, Series A, Vol. 312, 1984

詳細情報

• NII書誌ID(NCID): BA00149176
• ISBN:
  • 0135614651
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: und
• 出版地: Englewood Cliffs, N.J.
• ページ数/冊数: 184 p.
• 大きさ: 25 cm
• 分類:
  • DC19 : 005.13/3
• 親書誌ID:
  • BA00010507