Metadata describing this Open University module
Title: An introduction to formal system specification
Module code: M869
Module dates: 1993-1999
Module status: This course is closed and no longer in presentation.
Faculty: Faculty of Mathematics Computing and Technology
Keyword(s): M869, An introduction to formal system specification, Postgraduate course, Open University, Mathematical Sciences IT and Computing
+ Show more...
OU level: Postgraduate Post-graduate
OU credits: 15
ECTS credits: Level 1, 7.5 credits
Hours of study: Approximately 150 hours of study
Link to Open Data record: http://data.open.ac.uk/page/course/m869
Educational level: Post-graduate
Educational level: HEQF Level 7
Educational level: Postgraduate
JACS code: I100
JACS description: Computer science
Module type: OU module, Subtype code: 50
+ Show presentation dates
Presentation: M869 1993K
Start date: 1993-11-06
End date: 1995-11-30
Presentation: M869 1994C
Start date: 1994-03-05
End date: 1996-07-31
Presentation: M869 1994E
Start date: 1994-05-07
End date: 1996-07-31
Presentation: M869 1994K
Start date: 1994-11-05
End date: 1996-11-30
Presentation: M869 1995C
Start date: 1995-03-04
End date: 1997-07-31
Presentation: M869 1995E
Start date: 1995-05-06
End date: 1997-07-31
Presentation: M869 1995K
Start date: 1995-11-04
End date: 1997-12-31
Presentation: M869 1996C
Start date: 1996-03-02
End date: 1998-07-31
Presentation: M869 1996E
Start date: 1996-05-04
End date: 1998-07-31
Presentation: M869 1996K
Start date: 1996-11-02
End date: 1997-04-25
Presentation: M869 1997E
Start date: 1997-05-03
End date: 1997-10-31
Presentation: M869 1997K
Start date: 1997-11-01
End date: 1998-04-30
Presentation: M869 1998E
Start date: 1998-05-02
End date: 1998-10-31
Presentation: M869 1998K
Start date: 1998-11-07
End date: 1999-04-30
20 weeks
Presentation: M869 1999K
Start date: 1999-11-06
End date: 2000-04-30
20 weeks
No main texts available for this item