Image from Syndetics
A formalisation of design methods : a [lambda] -calculus approach to systems design with an application to text editing / Loe Feijs.
By: Feijs, L. M. G. (Loe M. G.)
.
Material type: 
BookSeries: Computers and their applications: Publisher: New York. London : Ellis Horwood, 1993Description: xv, 502 p. ; 24 cm. + hbk.ISBN: 0131061135.Subject(s): System designDDC classification: 005.1
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| General Lending | MTU Bishopstown Library Store Item | 005.1 (Browse shelf(Opens below)) | 1 | Available | 00018786 |
Total holds: 0
Bibliography: p. 406-414.