Algebraic approach to hardware description and verification
dc.contributor.author
Cardelli, Luca
en
dc.date.accessioned
2016-01-20T10:00:44Z
dc.date.available
2016-01-20T10:00:44Z
dc.date.issued
1982
dc.description.abstract
en
dc.identifier.uri
http://hdl.handle.net/1842/13308
dc.publisher
The University of Edinburgh
en
dc.relation.ispartof
KB thesis scanning project 2015
en
dc.title
Algebraic approach to hardware description and verification
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:
- Cardelli1982.Pdf
- Size:
- 6.64 MB
- Format:
- Adobe Portable Document Format
This item appears in the following Collection(s)