EdShare
Home
Browse
By Year
By Author
Tags
Course code
University structure
Share
About
Help
Login
Login
Browse by Course code: COMP1216
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
Export::Xapian plugin is missing the name parameter
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Zip
Atom
RSS 1.0
RSS 2.0
Number of items:
3
.
COMP1216 Coursework 2 (AY2022-23)
Coursework 2: Event-B modelling of an auction system
Shared with the University by
Dr Son Hoang
Introduction to Formal Methods & Event-B
Shared with the University by
Dr Dana Dghaym
COMP1216 - Coursework 1 (AY2022-23)
Coursework 1 for AY2022-23. UML Modelling for "An Online Auction Service".
Shared with the University by
Dr Son Hoang
This list was generated on
Sat Oct 5 09:12:54 2024 UTC
.