A formalisation of design methods : a λ-calculus approach to systems design with an application to text editing
著者
書誌事項
A formalisation of design methods : a λ-calculus approach to systems design with an application to text editing
(Ellis Horwood series in computers and their applications)
Ellis Horwood, 1993
大学図書館所蔵 全5件
注記
Includes bibliographical references and index