The Refinement of Formal Specifications Using Reusable Software Components in Ada95

  • Stephen Bale

    Traethawd ymchwil myfyriwr: Traethawd ymchwil doethurol

    Dyddiad DyfarnuAwst 1998
    Iaith wreiddiolSaesneg
    GoruchwyliwrJohn Hayward (Goruchwylydd)

    Dyfynnu hyn

    Dogfennau

    '