Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings

Detalles Bibliográficos
Autor principal: Hutton, Graham
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755877
_version_ 1780969732496687104
author Hutton, Graham
author_facet Hutton, Graham
author_sort Hutton, Graham
collection CERN
id cern-2755877
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27558772021-04-21T16:42:02Zhttp://cds.cern.ch/record/2755877engHutton, GrahamMathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27558772019
spellingShingle XX
Hutton, Graham
Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
title Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
title_full Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
title_fullStr Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
title_full_unstemmed Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
title_short Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
title_sort mathematics of program construction: 13th international conference, mpc 2019, porto, portugal, october 7-9, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755877
work_keys_str_mv AT huttongraham mathematicsofprogramconstruction13thinternationalconferencempc2019portoportugaloctober792019proceedings

Ejemplares similares