EdShare
Home
Browse
By Year
By Author
Tags
Course code
University structure
Share
About
Help
Login
Login
Browse by Course code: COMP2214
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
.
COMP2214 Lecture - Event-B to SPARK
This lecture about data refinement from Event-B models and generating SPARK/Ada from the model
Shared with the University by
Dr Son Hoang
COMP2214 - Lecture 16 - Introduction to SPARK
Introductory slides on SPARK
Shared with the University by
Dr Son Hoang
COMP2214 - Lecture 15 - Introduction to Ada
Introduction to Ada programming language
Shared with the University by
Dr Son Hoang
This list was generated on
Sun Nov 10 22:23:23 2024 UTC
.