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

Loe Feijs

(Ellis Horwood series in computers and their applications)

Ellis Horwood, 1993

この図書・雑誌をさがす
注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ