Computer Science Swansea University / University Computer Science Departments / /
IndustryTerm
software system / state transition systems / mathematical modelling tools / mathematical software / real world computer applications / labelled transition systems / economically-critical applications / bank / left bank / real-time and hybrid systems / particular approach / computer software / straightforward systems / transition systems / /
Movie
Die Hard /
Organization
Mathematics Department / First Years Faron Moller Liam O’Reilly Department / Engineering Department / Swansea University / /
Person
Bob / Homer Simpson / Alice / Bruce Willis / John McClane / Samuel L. Jackson / Alan Kay / /
Position
first player / Civil Engineer / tackle / Detective / second player / eminent Computer Scientist / device driver / Aeronautical Engineer / controller / token forward / /
Formal Methods for First Years Faron Moller Liam O’Reilly Department of Computer Science