Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2015
|
| Schriftenreihe: | Lecture notes in computer science
9039 |
| Schlagworte: | |
| Beschreibung: | XII, 243 S. Ill., graph. Darst. |
| ISBN: | 9783319191942 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042583982 | ||
| 003 | DE-604 | ||
| 005 | 20150528 | ||
| 007 | t| | ||
| 008 | 150527s2015 xx ad|| |||| 00||| eng d | ||
| 020 | |a 9783319191942 |9 978-3-319-19194-2 | ||
| 035 | |a (OCoLC)915668054 | ||
| 035 | |a (DE-599)BVBBV042583982 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-11 | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings |c Susanne Graf ... (eds.) |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2015 | |
| 300 | |a XII, 243 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 9039 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Graf, Susanne |d 1958- |e Sonstige |0 (DE-588)1071673769 |4 oth | |
| 711 | 2 | |a FORTE |n 35. |d 2015 |c Grenoble |j Sonstige |0 (DE-588)1071631969 |4 oth | |
| 711 | 2 | |a DisCoTec |n 10. |d 2015 |c Grenoble |j Sonstige |0 (DE-588)1070875511 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-19195-9 |
| 830 | 0 | |a Lecture notes in computer science |v 9039 |w (DE-604)BV000000607 |9 9039 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028017321 | |
Datensatz im Suchindex
| _version_ | 1818692899154427904 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1071673769 |
| building | Verbundindex |
| bvnumber | BV042583982 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)915668054 (DE-599)BVBBV042583982 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV042583982</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150528</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">150527s2015 xx ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319191942</subfield><subfield code="9">978-3-319-19194-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915668054</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042583982</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-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed objects, components, and systems</subfield><subfield code="b">35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings</subfield><subfield code="c">Susanne Graf ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 243 S.</subfield><subfield code="b">Ill., 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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9039</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="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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">2015</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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">Graf, Susanne</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1071673769</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">35.</subfield><subfield code="d">2015</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1071631969</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">10.</subfield><subfield code="d">2015</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1070875511</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-19195-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9039</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9039</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028017321</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2015 Grenoble |
| id | DE-604.BV042583982 |
| illustrated | Illustrated |
| indexdate | 2024-12-17T13:05:07Z |
| institution | BVB |
| institution_GND | (DE-588)1071631969 (DE-588)1070875511 |
| isbn | 9783319191942 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028017321 |
| oclc_num | 915668054 |
| open_access_boolean | |
| owner | DE-83 DE-11 |
| owner_facet | DE-83 DE-11 |
| physical | XII, 243 S. Ill., graph. Darst. |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings Susanne Graf ... (eds.) Cham [u.a.] Springer 2015 XII, 243 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9039 Formale Methode (DE-588)4333722-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Grenoble gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Graf, Susanne 1958- Sonstige (DE-588)1071673769 oth FORTE 35. 2015 Grenoble Sonstige (DE-588)1071631969 oth DisCoTec 10. 2015 Grenoble Sonstige (DE-588)1070875511 oth Erscheint auch als Online-Ausgabe 978-3-319-19195-9 Lecture notes in computer science 9039 (DE-604)BV000000607 9039 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings Susanne Graf ... (eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings Susanne Graf ... (eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings Susanne Graf ... (eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 35th ifip wg 6 1 international conference forte 2015 held as part of the 10th international federated conference on distributed computing techniques discotec 2015 grenoble france june 2 4 2015 proceedings |
| title_sub | 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Formale Methode Verteiltes System Konferenzschrift 2015 Grenoble |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT grafsusanne formaltechniquesfordistributedobjectscomponentsandsystems35thifipwg61internationalconferenceforte2015heldaspartofthe10thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2015grenoblefrancejune242015proceedings AT fortegrenoble formaltechniquesfordistributedobjectscomponentsandsystems35thifipwg61internationalconferenceforte2015heldaspartofthe10thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2015grenoblefrancejune242015proceedings AT discotecgrenoble formaltechniquesfordistributedobjectscomponentsandsystems35thifipwg61internationalconferenceforte2015heldaspartofthe10thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2015grenoblefrancejune242015proceedings |