research

Calculational semantics: deriving programming theories from equations by functional predicate calculus

Authors
Publication date
1 January 2006
Publisher
ASSOC COMPUTING MACHINERY

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Ghent University Academic Bibliography

    redirect
    oaioai:archive.ugent.be:358374
    Last time updated on 12/11/2016