Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle

Bibliographic Details
Main Author: Hoare, C
Format: Conference item
Published: Springer 1999
_version_ 1797071262079516672
author Hoare, C
author_facet Hoare, C
author_sort Hoare, C
collection OXFORD
description
first_indexed 2024-03-06T22:50:45Z
format Conference item
id oxford-uuid:5eb3430e-3b29-426b-8b3b-44599b9d53d4
institution University of Oxford
last_indexed 2024-03-06T22:50:45Z
publishDate 1999
publisher Springer
record_format dspace
spelling oxford-uuid:5eb3430e-3b29-426b-8b3b-44599b9d53d42022-03-26T17:42:15ZTheories of Programming: Top−Down and Bottom−Up and Meeting in the MiddleConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5eb3430e-3b29-426b-8b3b-44599b9d53d4Department of Computer ScienceSpringer1999Hoare, C
spellingShingle Hoare, C
Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
title Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
title_full Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
title_fullStr Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
title_full_unstemmed Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
title_short Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle
title_sort theories of programming top down and bottom up and meeting in the middle
work_keys_str_mv AT hoarec theoriesofprogrammingtopdownandbottomupandmeetinginthemiddle