A Formalisation of Design Methods: A Gamma-Calculus Approach to Systems Design With an Application to Text Editing: Lambda-calculus Approach to System ... Series in Computers & Their Applications) - Hardcover

Feijs, L. M. G.

 
9780131061132: A Formalisation of Design Methods: A Gamma-Calculus Approach to Systems Design With an Application to Text Editing: Lambda-calculus Approach to System ... Series in Computers & Their Applications)