COMP1216 - Lab 05 - Modelling with Sets in Event-B

LoadingLoading previews...
Problem
Text Creative Commons: Attribution-Noncommercial-Share Alike 4.0
Download (374kB)
    Problem
    Problem
    Lab05.pptx
    Lab05.pptx
    Sample solution
    Sample solution
    3 files in this resource

    COMP1216 - Lab 05 - Modelling with Sets in Event-B

    Modelling with Sets in Event-B

    Actions (login required)

    View Item View Item

    Toolbox

    There are no actions available for this resource.