A formal semantics for Z and the link between Z and the relational algebra

M.J. van Diepen, K.M. Hee, van

Onderzoeksoutput: Boek/rapport › Rapport › Academic

98 Downloads (Pure)

Samenvatting

Revised version of CSNote 89/17, appeared in the Proceedings of the VDM'90 Symposium, Springer Verlag (1990)

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	30
Status	Gepubliceerd - 1990

Naam	Computing science notes
Volume	9010

@book{b5bf73c0afe543dd85e2df4095ef1ecf,

title = "A formal semantics for Z and the link between Z and the relational algebra",

abstract = "Revised version of CSNote 89/17, appeared in the Proceedings of the VDM'90 Symposium, Springer Verlag (1990)",

author = "{van Diepen}, M.J. and {Hee, van}, K.M.",

year = "1990",

language = "English",

series = "Computing science notes",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - A formal semantics for Z and the link between Z and the relational algebra

AU - van Diepen, M.J.

AU - Hee, van, K.M.

PY - 1990

Y1 - 1990

N2 - Revised version of CSNote 89/17, appeared in the Proceedings of the VDM'90 Symposium, Springer Verlag (1990)

AB - Revised version of CSNote 89/17, appeared in the Proceedings of the VDM'90 Symposium, Springer Verlag (1990)

M3 - Report

T3 - Computing science notes

BT - A formal semantics for Z and the link between Z and the relational algebra

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -