Cargando…
Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures
| Autores principales: | , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2008
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2756805 |
| _version_ | 1780969829518278656 |
|---|---|
| author | Bonsangue, Marcello M Graf, Susanne de Roever, Willem-Paul Roever, Willem-Paul de |
| author_facet | Bonsangue, Marcello M Graf, Susanne de Roever, Willem-Paul Roever, Willem-Paul de |
| author_sort | Bonsangue, Marcello M |
| collection | CERN |
| id | cern-2756805 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2008 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-27568052021-04-21T16:41:41Zhttp://cds.cern.ch/record/2756805engBonsangue, Marcello MGraf, Susannede Roever, Willem-PaulRoever, Willem-Paul deFormal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lecturesXXSpringeroai:cds.cern.ch:27568052008 |
| spellingShingle | XX Bonsangue, Marcello M Graf, Susanne de Roever, Willem-Paul Roever, Willem-Paul de Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures |
| title | Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures |
| title_full | Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures |
| title_fullStr | Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures |
| title_full_unstemmed | Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures |
| title_short | Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures |
| title_sort | formal methods for components and objects: 6th international symposium, fmco 2007, amsterdam, the netherlands, october 24-26, 2007, revised lectures |
| topic | XX |
| url | http://cds.cern.ch/record/2756805 |
| work_keys_str_mv | AT bonsanguemarcellom formalmethodsforcomponentsandobjects6thinternationalsymposiumfmco2007amsterdamthenetherlandsoctober24262007revisedlectures AT grafsusanne formalmethodsforcomponentsandobjects6thinternationalsymposiumfmco2007amsterdamthenetherlandsoctober24262007revisedlectures AT deroeverwillempaul formalmethodsforcomponentsandobjects6thinternationalsymposiumfmco2007amsterdamthenetherlandsoctober24262007revisedlectures AT roeverwillempaulde formalmethodsforcomponentsandobjects6thinternationalsymposiumfmco2007amsterdamthenetherlandsoctober24262007revisedlectures |