Comparative metric semantics of programming languages : nondeterminism and recursion

著者

• Breugel, Franciscus Cornelus van

書誌事項

Comparative metric semantics of programming languages : nondeterminism and recursion

Franck van Breugel

（Progress in theoretical computer science）

Birkhauser Boston, c1998

• :us [hard]

注記

Based on the author's thesis (Ph.d.)

詳細情報

• NII書誌ID(NCID): BA34194025
• ISBN:
  • 0817639276
  • 3764339276
• LCCN: 97037052
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston, Mass.
• ページ数/冊数: xix, 220 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.7
  • DC21 : 005.1/31
• 件名:
  • LCSH : Programming languages (Electronic computers) -- Semantics
• 親書誌ID:
  • BA1282110X