slides

PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language ; CU-CS-400-88

Authors
Publication date
7 July 1988
Publisher
CU Scholar

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Sustaining member

    CU Scholar Institutional Repository

    redirect
    oaioai:cuscholar:kd17ct75d
    Last time updated on 03/01/2024