Hoare's Formulation of Jones' Calculus for Programming

Bibliographic Details
Main Author: Hoare, C
Format: Record
Published: 2015
_version_ 1797063339409408000
author Hoare, C
author_facet Hoare, C
author_sort Hoare, C
collection OXFORD
description
first_indexed 2024-03-06T20:58:25Z
format Record
id oxford-uuid:3a0ca8a8-cff7-47ea-bb91-30fce5af4028
institution University of Oxford
last_indexed 2024-03-06T20:58:25Z
publishDate 2015
record_format dspace
spelling oxford-uuid:3a0ca8a8-cff7-47ea-bb91-30fce5af40282022-03-26T13:59:08ZHoare's Formulation of Jones' Calculus for ProgrammingRecordhttp://purl.org/coar/resource_type/c_1843uuid:3a0ca8a8-cff7-47ea-bb91-30fce5af4028Department of Computer Science2015Hoare, C
spellingShingle Hoare, C
Hoare's Formulation of Jones' Calculus for Programming
title Hoare's Formulation of Jones' Calculus for Programming
title_full Hoare's Formulation of Jones' Calculus for Programming
title_fullStr Hoare's Formulation of Jones' Calculus for Programming
title_full_unstemmed Hoare's Formulation of Jones' Calculus for Programming
title_short Hoare's Formulation of Jones' Calculus for Programming
title_sort hoare s formulation of jones calculus for programming
work_keys_str_mv AT hoarec hoaresformulationofjonescalculusforprogramming