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: 10.
  1. [img] [img]
    COMP1216 - Problem Class 9
    Shared with the University by
  2. [img] [img]
    COMP1216 - Problem class 8
    Managing room allocation in multiple hotels

    Shared with the University by
  3. [img]
  4. [img] [img]
  5. [img] [img]
  6. [img] [img]
  7. [img] [img]
    COMP1216 - Problem class 7
    Model a hotel reception system in Event-B

    Shared with the University by
  8. [img] [img]
  9. [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
  10. [img]
This list was generated on Sun May 19 14:39:35 2019 UTC.