Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings

Detalles Bibliográficos
Autores principales: Ribeiro, Pedro, Sampaio, Augusto
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755521
_version_ 1780969655942250496
author Ribeiro, Pedro
Sampaio, Augusto
author_facet Ribeiro, Pedro
Sampaio, Augusto
author_sort Ribeiro, Pedro
collection CERN
id cern-2755521
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27555212021-04-21T16:42:23Zhttp://cds.cern.ch/record/2755521engRibeiro, PedroSampaio, AugustoUnifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27555212019
spellingShingle XX
Ribeiro, Pedro
Sampaio, Augusto
Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
title Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
title_full Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
title_fullStr Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
title_full_unstemmed Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
title_short Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
title_sort unifying theories of programming: 7th international symposium, utp 2019, dedicated to tony hoare on the occasion of his 85th birthday, porto, portugal, october 8, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755521
work_keys_str_mv AT ribeiropedro unifyingtheoriesofprogramming7thinternationalsymposiumutp2019dedicatedtotonyhoareontheoccasionofhis85thbirthdayportoportugaloctober82019proceedings
AT sampaioaugusto unifyingtheoriesofprogramming7thinternationalsymposiumutp2019dedicatedtotonyhoareontheoccasionofhis85thbirthdayportoportugaloctober82019proceedings

Ejemplares similares