A Formalisation of Design Methods: Lambda-calculus Approach to System Design with an Application to Text Editing (Ellis Horwood Series in Computers and Their Applications)

by L. M. G. Feijs

0 ratings • 0 reviews • 0 shelved
Book cover for A Formalisation of Design Methods
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 0131061135
  • ISBN13 9780131061132
  • Publish Date 1 February 1993
  • Publish Status Out of Print
  • Out of Print 14 November 1996
  • Publish Country GB
  • Publisher Prentice Hall Europe (a Pearson Education company)
  • Imprint Ellis Horwood Ltd , Publisher
  • Format Hardcover
  • Pages 510
  • Language English