Special section on Formal aspects of component software (FACS'09): [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands]
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
2012
|
| Schriftenreihe: | Science of computer programming
78,1 |
| Schlagworte: | |
| Beschreibung: | Einzelaufnahme eines Zeitschr.-Heftes |
| Beschreibung: | 144 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040510096 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 121029s2012 d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)816353165 | ||
| 035 | |a (DE-599)HBZHT017434148 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 | ||
| 111 | 2 | |a FACS |n 6 |d 2009 |c Eindhoven |j Verfasser |0 (DE-588)1027243401 |4 aut | |
| 245 | 1 | 0 | |a Special section on Formal aspects of component software (FACS'09) |b [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] |c guest ed.: Sun Meng ... |
| 246 | 1 | 3 | |a Formal aspects of component software (FACS'09) |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2012 | |
| 300 | |a 144 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Science of computer programming |v 78,1 | |
| 500 | |a Einzelaufnahme eines Zeitschr.-Heftes | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Meng, Sun |0 (DE-588)1027243002 |4 edt | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025356643 | ||
Datensatz im Suchindex
| _version_ | 1804149586624774144 |
|---|---|
| any_adam_object | |
| author2 | Meng, Sun |
| author2_role | edt |
| author2_variant | s m sm |
| author_GND | (DE-588)1027243002 |
| author_corporate | FACS Eindhoven |
| author_corporate_role | aut |
| author_facet | Meng, Sun FACS Eindhoven |
| author_sort | FACS Eindhoven |
| building | Verbundindex |
| bvnumber | BV040510096 |
| ctrlnum | (OCoLC)816353165 (DE-599)HBZHT017434148 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01195nam a2200301 cb4500</leader><controlfield tag="001">BV040510096</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">121029s2012 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)816353165</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT017434148</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FACS</subfield><subfield code="n">6</subfield><subfield code="d">2009</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1027243401</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Special section on Formal aspects of component software (FACS'09)</subfield><subfield code="b">[extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands]</subfield><subfield code="c">guest ed.: Sun Meng ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Formal aspects of component software (FACS'09)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">144 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Science of computer programming</subfield><subfield code="v">78,1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Einzelaufnahme eines Zeitschr.-Heftes</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meng, Sun</subfield><subfield code="0">(DE-588)1027243002</subfield><subfield code="4">edt</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025356643</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV040510096 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:25:23Z |
| institution | BVB |
| institution_GND | (DE-588)1027243401 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025356643 |
| oclc_num | 816353165 |
| open_access_boolean | |
| owner | DE-384 |
| owner_facet | DE-384 |
| physical | 144 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Science of computer programming |
| spelling | FACS 6 2009 Eindhoven Verfasser (DE-588)1027243401 aut Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] guest ed.: Sun Meng ... Formal aspects of component software (FACS'09) Amsterdam [u.a.] Elsevier 2012 144 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Science of computer programming 78,1 Einzelaufnahme eines Zeitschr.-Heftes (DE-588)1071861417 Konferenzschrift gnd-content Meng, Sun (DE-588)1027243002 edt |
| spellingShingle | Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] |
| subject_GND | (DE-588)1071861417 |
| title | Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] |
| title_alt | Formal aspects of component software (FACS'09) |
| title_auth | Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] |
| title_exact_search | Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] |
| title_full | Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] guest ed.: Sun Meng ... |
| title_fullStr | Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] guest ed.: Sun Meng ... |
| title_full_unstemmed | Special section on Formal aspects of component software (FACS'09) [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] guest ed.: Sun Meng ... |
| title_short | Special section on Formal aspects of component software (FACS'09) |
| title_sort | special section on formal aspects of component software facs 09 extended versions of selected best papers from the 6th international workshop on formal aspects of component software held in november 2009 in eindhoven the netherlands |
| title_sub | [extended versions of selected best papers from the 6th International Workshop on Formal Aspects of Component Software ... held in November 2009 in Eindhoven, The Netherlands] |
| topic_facet | Konferenzschrift |
| work_keys_str_mv | AT facseindhoven specialsectiononformalaspectsofcomponentsoftwarefacs09extendedversionsofselectedbestpapersfromthe6thinternationalworkshoponformalaspectsofcomponentsoftwareheldinnovember2009ineindhoventhenetherlands AT mengsun specialsectiononformalaspectsofcomponentsoftwarefacs09extendedversionsofselectedbestpapersfromthe6thinternationalworkshoponformalaspectsofcomponentsoftwareheldinnovember2009ineindhoventhenetherlands AT facseindhoven formalaspectsofcomponentsoftwarefacs09 AT mengsun formalaspectsofcomponentsoftwarefacs09 |