Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings

Detalles Bibliográficos
Autores principales: Hinze, Ralf, Voigtländer, Janis
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756853
_version_ 1780969839813197824
author Hinze, Ralf
Voigtländer, Janis
author_facet Hinze, Ralf
Voigtländer, Janis
author_sort Hinze, Ralf
collection CERN
id cern-2756853
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27568532021-04-21T16:41:38Zhttp://cds.cern.ch/record/2756853engHinze, RalfVoigtländer, JanisMathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27568532015
spellingShingle XX
Hinze, Ralf
Voigtländer, Janis
Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
title Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
title_full Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
title_fullStr Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
title_full_unstemmed Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
title_short Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
title_sort mathematics of program construction: 12th international conference, mpc 2015, königswinter, germany, june 29-july 1, 2015 proceedings
topic XX
url http://cds.cern.ch/record/2756853
work_keys_str_mv AT hinzeralf mathematicsofprogramconstruction12thinternationalconferencempc2015konigswintergermanyjune29july12015proceedings
AT voigtlanderjanis mathematicsofprogramconstruction12thinternationalconferencempc2015konigswintergermanyjune29july12015proceedings

Ejemplares similares