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

Author(s)

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

Bibliographic Information

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

Note

Includes bibliographical references and index

Details

• NCID: BA20814609
• ISBN:
  • 0131061135
• LCCN: 93006501
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York ; Tokyo
• Pages/Volumes: xv, 502 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.S88
  • DC20 : 005.1/01/5113
• Subject Headings:
  • LCSH : System design
  • LCSH : Text editors (Computer programs)
  • LCSH : Computer software -- Development
• Parent Bibliography ID:
  • BA00004049