Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings

Detalles Bibliográficos
Autores principales: Arbab, Farhad, Jongmans, Sung-Shik
Lenguaje:eng
Publicado: Springer International Publishing AG 2020
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2760722
_version_ 1780970400062111744
author Arbab, Farhad
Jongmans, Sung-Shik
author_facet Arbab, Farhad
Jongmans, Sung-Shik
author_sort Arbab, Farhad
collection CERN
id cern-2760722
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2020
publisher Springer International Publishing AG
record_format invenio
spelling cern-27607222021-04-21T16:40:01Zhttp://cds.cern.ch/record/2760722engArbab, FarhadJongmans, Sung-ShikFormal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27607222020
spellingShingle XX
Arbab, Farhad
Jongmans, Sung-Shik
Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
title Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
title_full Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
title_fullStr Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
title_full_unstemmed Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
title_short Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
title_sort formal aspects of component software: 16th international conference, facs 2019, amsterdam, the netherlands, october 23-25, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2760722
work_keys_str_mv AT arbabfarhad formalaspectsofcomponentsoftware16thinternationalconferencefacs2019amsterdamthenetherlandsoctober23252019proceedings
AT jongmanssungshik formalaspectsofcomponentsoftware16thinternationalconferencefacs2019amsterdamthenetherlandsoctober23252019proceedings

Ejemplares similares