Items where Author is "Butler, Michael"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type
Number of items: 8.
  1. [img]
  2. [img] [img]
  3. [img] [img]
  4. [img] [img]
  5. [img] [img]
    COMP1216 - Problem class 7
    Model a hotel reception system in Event-B

    Shared with the University by
  6. [img] [img]
  7. [img]
    COMP1216 - Relations in Event-B
    Modelling using Relations in Event-B - Order Pairs - Cartesian Product - Relations - Domain/Range of relations - Relational Image

    Shared with the University by
  8. [img]
This list was generated on Sun Mar 24 09:13:18 2019 UTC.