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

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

Research output: Book/Report › Report › Academic

235 Downloads (Pure)

Abstract

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

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	30
Publication status	Published - 1990

Name	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 -