A formalisation of design methods : a λ-calculus approach to systems design with an application to text editing

著者

• Feijs, L. M. G. (Loe M. G.)

書誌事項

A formalisation of design methods : a λ-calculus approach to systems design with an application to text editing

Loe Feijs

（Ellis Horwood series in computers and their applications）

Ellis Horwood, 1993

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA20814609
• ISBN:
  • 0131061135
• LCCN: 93006501
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York ; Tokyo
• ページ数/冊数: xv, 502 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.S88
  • DC20 : 005.1/01/5113
• 件名:
  • LCSH : System design
  • LCSH : Text editors (Computer programs)
  • LCSH : Computer software -- Development
• 親書誌ID:
  • BA00004049