A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus Feijs
Proefschrift Technische Universiteit Eindhoven
| rdfs:label | "A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus Feijs" |
| schema:name | "A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing" |
| schema:author | Feijs, Laurentius Michiel Gerardus (1954-) |
| schema:description | "Proefschrift Technische Universiteit Eindhoven" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1990" |
| schema:about | informatietechnologie |
|
<http:/ |
|
| Methods | |
| Lambda-calculus | |
| Software | |
| Ontwerpen | |
|
schema:in |
"en" |
|
schema:number |
469 |
| schema:publication |
<https:/ |