Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings

Detalles Bibliográficos
Autores principales: Meseguer, José, Rosu, Grigore
Lenguaje:eng
Publicado: Springer 2008
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2763008
_version_ 1780970840570986496
author Meseguer, José
Rosu, Grigore
Meseguer, José
author_facet Meseguer, José
Rosu, Grigore
Meseguer, José
author_sort Meseguer, José
collection CERN
id cern-2763008
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2008
publisher Springer
record_format invenio
spelling cern-27630082021-04-21T16:38:42Zhttp://cds.cern.ch/record/2763008engMeseguer, JoséRosu, GrigoreMeseguer, JoséAlgebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedingsXXSpringeroai:cds.cern.ch:27630082008
spellingShingle XX
Meseguer, José
Rosu, Grigore
Meseguer, José
Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
title Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
title_full Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
title_fullStr Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
title_full_unstemmed Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
title_short Algebraic methodology and software technology: 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
title_sort algebraic methodology and software technology: 12th international conference, amast 2008 urbana, il, usa, july 28-31, 2008, proceedings
topic XX
url http://cds.cern.ch/record/2763008
work_keys_str_mv AT meseguerjose algebraicmethodologyandsoftwaretechnology12thinternationalconferenceamast2008urbanailusajuly28312008proceedings
AT rosugrigore algebraicmethodologyandsoftwaretechnology12thinternationalconferenceamast2008urbanailusajuly28312008proceedings
AT meseguerjose algebraicmethodologyandsoftwaretechnology12thinternationalconferenceamast2008urbanailusajuly28312008proceedings

Ejemplares similares