A formal semantics for Z and the link between Z and the relational algebra / M.J. van Diepen, K.M. van Hee
| rdfs:label | "A formal semantics for Z and the link between Z and the relational algebra / M.J. van Diepen, K.M. van Hee" |
| schema:name | "A formal semantics for Z and the link between Z and the relational algebra" |
| schema:author | Diepen, M.J. van |
| Rijksuniversiteit Limburg (Maastricht). Faculteit der Economische Wetenschappen | |
| schema:contributor | Hee, Kees Max van (1946-) |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1990" |
| schema:about | semantiek |
| algebra | |
|
schema:in |
"en" |
|
schema:is |
Research memorandum / Limburg University, Faculty of Economics |
|
schema:number |
27 |
| schema:publication |
<https:/ |