Formal specifications using VDM

Simple item page
dc.AdvisorPeter, Hadrian
dc.DateSubmitted1995
dc.DegreeTypeMaster of Philosophy (M.Phil.)
dc.DepartmentComputer Science, Mathematics and Physics
dc.InstitutionUniversity of the West Indies (Cave Hill, Barbados)
dc.LCCallNumberQA76.76.D47 S35 1995
dc.contributor.authorSamuel, Delia Daria
dc.date.accessioned2009-02-05T17:19:02Z
dc.date.available2009-02-05T17:19:02Z
dc.date.issued2009-02-05T17:19:02Z
dc.identifier.urihttps://hdl.handle.net/2139/3556
dc.language.isoenen
dc.rightsPlease contact the West Indiana Division at the University of the West Indies,St.Augustine in order to view the full thesis. Contact: wimail@sta.uwi.edu
dc.subject.lcshComputer software -- Development
dc.titleFormal specifications using VDMen
dc.typeThesisen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
DeliaDariaSamuel_MPhil.pdf
Size:
22.79 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.8 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Theses Abstracts