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

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

Onderzoeksoutput: Boek/rapportRapportAcademic

103 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's27
StatusGepubliceerd - 1989

Publicatie series

NaamComputing science notes
Volume8917

Citeer dit