| _version_ |
1826262799323496448
|
| author |
Hoare, T
|
| author_facet |
Hoare, T
|
| author_sort |
Hoare, T
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T19:41:47Z
|
| format |
Conference item
|
| id |
oxford-uuid:20ef22f8-23f0-4586-855b-9b0c006cebe4
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T19:41:47Z
|
| publishDate |
2013
|
| publisher |
Springer
|
| record_format |
dspace
|
| spelling |
oxford-uuid:20ef22f8-23f0-4586-855b-9b0c006cebe42022-03-26T11:30:18ZGeneric Models of the Laws of ProgrammingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:20ef22f8-23f0-4586-855b-9b0c006cebe4Department of Computer ScienceSpringer2013Hoare, T
|
| spellingShingle |
Hoare, T
Generic Models of the Laws of Programming
|
| title |
Generic Models of the Laws of Programming
|
| title_full |
Generic Models of the Laws of Programming
|
| title_fullStr |
Generic Models of the Laws of Programming
|
| title_full_unstemmed |
Generic Models of the Laws of Programming
|
| title_short |
Generic Models of the Laws of Programming
|
| title_sort |
generic models of the laws of programming
|
| work_keys_str_mv |
AT hoaret genericmodelsofthelawsofprogramming
|