Proof methods and pragmatics for parellel programming
dc.contributor.author
Tofts, Chris
en
dc.date.accessioned
2016-03-01T11:17:09Z
dc.date.available
2016-03-01T11:17:09Z
dc.date.issued
1990
dc.description.abstract
en
dc.identifier.uri
http://hdl.handle.net/1842/14544
dc.publisher
The University of Edinburgh
en
dc.relation.ispartof
KB thesis scanning project 2015
en
dc.title
Proof methods and pragmatics for parellel programming
en
dc.type
Thesis or Dissertation
en
dc.type.qualificationlevel
Doctoral
en
dc.type.qualificationname
PhD Doctor of Philosophy
en
Files
Original bundle
1 - 1 of 1
- Name:
- Tofts1990.Pdf
- Size:
- 5.32 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)