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

    98 Downloads (Pure)

    Samenvatting

    Revised version of CSNote 89/17, appeared in the Proceedings of the VDM'90 Symposium, Springer Verlag (1990)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's30
    StatusGepubliceerd - 1990

    Publicatie series

    NaamComputing science notes
    Volume9010

    Vingerafdruk Duik in de onderzoeksthema's van 'A formal semantics for Z and the link between Z and the relational algebra'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit