Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings

Detalles Bibliográficos
Autores principales: Boca, Paul, Bowen, Jonathan P, Butler, Michael, Börger, Egon
Lenguaje:eng
Publicado: Springer 2008
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2762504
_version_ 1780970728517009408
author Boca, Paul
Bowen, Jonathan P
Butler, Michael
Börger, Egon
author_facet Boca, Paul
Bowen, Jonathan P
Butler, Michael
Börger, Egon
author_sort Boca, Paul
collection CERN
id cern-2762504
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2008
publisher Springer
record_format invenio
spelling cern-27625042021-04-21T16:39:00Zhttp://cds.cern.ch/record/2762504engBoca, PaulBowen, Jonathan PButler, MichaelBörger, EgonAbstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedingsXXSpringeroai:cds.cern.ch:27625042008
spellingShingle XX
Boca, Paul
Bowen, Jonathan P
Butler, Michael
Börger, Egon
Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings
title Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings
title_full Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings
title_fullStr Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings
title_full_unstemmed Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings
title_short Abstract state machines, B and Z: first international conference, ABZ 2008, London, UK, September 16-18, 2008 proceedings
title_sort abstract state machines, b and z: first international conference, abz 2008, london, uk, september 16-18, 2008 proceedings
topic XX
url http://cds.cern.ch/record/2762504
work_keys_str_mv AT bocapaul abstractstatemachinesbandzfirstinternationalconferenceabz2008londonukseptember16182008proceedings
AT bowenjonathanp abstractstatemachinesbandzfirstinternationalconferenceabz2008londonukseptember16182008proceedings
AT butlermichael abstractstatemachinesbandzfirstinternationalconferenceabz2008londonukseptember16182008proceedings
AT borgeregon abstractstatemachinesbandzfirstinternationalconferenceabz2008londonukseptember16182008proceedings

Ejemplares similares