Special issue on International Conference on Formal Engineering Methods - ICFEM 2009: [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil]
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
2012
|
| Schriftenreihe: | Science of computer programming
77,12 |
| Schlagworte: | |
| Beschreibung: | Einzelaufnahme eines Zeitschr.-Heftes |
| Beschreibung: | S. 1211 - 1309 graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040443100 | ||
| 003 | DE-604 | ||
| 005 | 20141002 | ||
| 007 | t | ||
| 008 | 120926s2012 d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)815933543 | ||
| 035 | |a (DE-599)GBV725719923 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-706 | ||
| 111 | 2 | |a International Conference on Formal Engineering Methods |n 11 |d 2009 |c Rio de Janeiro |j Verfasser |0 (DE-588)16048011-5 |4 aut | |
| 245 | 1 | 0 | |a Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 |b [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] |c guest ed.: Ana Cavalcanti |
| 246 | 1 | 3 | |a International Conference on Formal Engineering Methods - ICFEM 2009 |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2012 | |
| 300 | |a S. 1211 - 1309 |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 77,12 | |
| 500 | |a Einzelaufnahme eines Zeitschr.-Heftes | ||
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Rio de Janeiro |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cavalcanti, Ana |e Sonstige |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025290896 | ||
Datensatz im Suchindex
| _version_ | 1804149500300754944 |
|---|---|
| any_adam_object | |
| author_corporate | International Conference on Formal Engineering Methods Rio de Janeiro |
| author_corporate_role | aut |
| author_facet | International Conference on Formal Engineering Methods Rio de Janeiro |
| author_sort | International Conference on Formal Engineering Methods Rio de Janeiro |
| building | Verbundindex |
| bvnumber | BV040443100 |
| ctrlnum | (OCoLC)815933543 (DE-599)GBV725719923 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01552nam a2200361 cb4500</leader><controlfield tag="001">BV040443100</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141002 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120926s2012 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)815933543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV725719923</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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><subfield code="a">DE-706</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Formal Engineering Methods</subfield><subfield code="n">11</subfield><subfield code="d">2009</subfield><subfield code="c">Rio de Janeiro</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16048011-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Special issue on International Conference on Formal Engineering Methods - ICFEM 2009</subfield><subfield code="b">[... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil]</subfield><subfield code="c">guest ed.: Ana Cavalcanti</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International Conference on Formal Engineering Methods - ICFEM 2009</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">S. 1211 - 1309</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">77,12</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Einzelaufnahme eines Zeitschr.-Heftes</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Rio de Janeiro</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cavalcanti, Ana</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025290896</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Rio de Janeiro gnd-content |
| genre_facet | Konferenzschrift 2009 Rio de Janeiro |
| id | DE-604.BV040443100 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:24:01Z |
| institution | BVB |
| institution_GND | (DE-588)16048011-5 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025290896 |
| oclc_num | 815933543 |
| open_access_boolean | |
| owner | DE-384 DE-706 |
| owner_facet | DE-384 DE-706 |
| physical | S. 1211 - 1309 graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Science of computer programming |
| spelling | International Conference on Formal Engineering Methods 11 2009 Rio de Janeiro Verfasser (DE-588)16048011-5 aut Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] guest ed.: Ana Cavalcanti International Conference on Formal Engineering Methods - ICFEM 2009 Amsterdam [u.a.] Elsevier 2012 S. 1211 - 1309 graph. Darst. txt rdacontent n rdamedia nc rdacarrier Science of computer programming 77,12 Einzelaufnahme eines Zeitschr.-Heftes Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Rio de Janeiro gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Cavalcanti, Ana Sonstige oth |
| spellingShingle | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)1071861417 |
| title | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] |
| title_alt | International Conference on Formal Engineering Methods - ICFEM 2009 |
| title_auth | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] |
| title_exact_search | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] |
| title_full | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] guest ed.: Ana Cavalcanti |
| title_fullStr | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] guest ed.: Ana Cavalcanti |
| title_full_unstemmed | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] guest ed.: Ana Cavalcanti |
| title_short | Special issue on International Conference on Formal Engineering Methods - ICFEM 2009 |
| title_sort | special issue on international conference on formal engineering methods icfem 2009 the 11th international conference on formal engineering methods held from the 9th to the 11th of december in rio de janeiro brazil |
| title_sub | [... the 11th International Conference on Formal Engineering Methods held from the 9th to the 11th of December in Rio de Janeiro, Brazil] |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Softwareentwicklung Formale Methode Konferenzschrift 2009 Rio de Janeiro |
| work_keys_str_mv | AT internationalconferenceonformalengineeringmethodsriodejaneiro specialissueoninternationalconferenceonformalengineeringmethodsicfem2009the11thinternationalconferenceonformalengineeringmethodsheldfromthe9thtothe11thofdecemberinriodejaneirobrazil AT cavalcantiana specialissueoninternationalconferenceonformalengineeringmethodsicfem2009the11thinternationalconferenceonformalengineeringmethodsheldfromthe9thtothe11thofdecemberinriodejaneirobrazil AT internationalconferenceonformalengineeringmethodsriodejaneiro internationalconferenceonformalengineeringmethodsicfem2009 AT cavalcantiana internationalconferenceonformalengineeringmethodsicfem2009 |