Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham
Springer
[2019]
|
| Schriftenreihe: | Lecture Notes in computer science
11535 |
| Schlagwörter: | |
| Umfang: | xiv, 297 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030217587 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046079530 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 190731s2019 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030217587 |9 978-3-030-21758-7 | ||
| 035 | |a (OCoLC)1111881211 | ||
| 035 | |a (DE-599)BVBBV046079530 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FORTE |n 39. |d 2019 |c Kongens Lyngby |j Verfasser |0 (DE-588)1190682559 |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings |c Jorge A. Pérez, Nobuko Yoshida (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a xiv, 297 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in computer science |v 11535 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2019 |z Kongens Lyngby |2 gnd-content | |
| 700 | 1 | |a Pérez, Jorge A. |4 edt | |
| 711 | 2 | |a DisCoTec |n 14. |d 2019 |c Kongens Lyngby |0 (DE-588)1190682958 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-21759-4 |
| 830 | 0 | |a Lecture Notes in computer science |v 11535 |w (DE-604)BV000000607 |9 11535 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031460658 | |
Datensatz im Suchindex
| _version_ | 1820980716035375104 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Pérez, Jorge A. |
| author2_role | edt |
| author2_variant | j a p ja jap |
| author_corporate | FORTE Kongens Lyngby |
| author_corporate_role | aut |
| author_facet | Pérez, Jorge A. FORTE Kongens Lyngby |
| author_sort | FORTE Kongens Lyngby |
| building | Verbundindex |
| bvnumber | BV046079530 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1111881211 (DE-599)BVBBV046079530 |
| 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 a2200000zcb4500</leader><controlfield tag="001">BV046079530</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">190731s2019 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030217587</subfield><subfield code="9">978-3-030-21758-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1111881211</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046079530</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">39.</subfield><subfield code="d">2019</subfield><subfield code="c">Kongens Lyngby</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1190682559</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed objects, components, and systems</subfield><subfield code="b">39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings</subfield><subfield code="c">Jorge A. Pérez, Nobuko Yoshida (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 297 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">11535</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2019</subfield><subfield code="z">Kongens Lyngby</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pérez, Jorge A.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">14.</subfield><subfield code="d">2019</subfield><subfield code="c">Kongens Lyngby</subfield><subfield code="0">(DE-588)1190682958</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-030-21759-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in computer science</subfield><subfield code="v">11535</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11535</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031460658</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Kongens Lyngby gnd-content |
| genre_facet | Konferenzschrift 2019 Kongens Lyngby |
| id | DE-604.BV046079530 |
| illustrated | Illustrated |
| indexdate | 2025-01-11T19:08:59Z |
| institution | BVB |
| institution_GND | (DE-588)1190682559 (DE-588)1190682958 |
| isbn | 9783030217587 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031460658 |
| oclc_num | 1111881211 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiv, 297 Seiten Illustrationen, Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in computer science |
| series2 | Lecture Notes in computer science |
| spelling | FORTE 39. 2019 Kongens Lyngby Verfasser (DE-588)1190682559 aut Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings Jorge A. Pérez, Nobuko Yoshida (eds.) Cham Springer [2019] xiv, 297 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in computer science 11535 (DE-588)1071861417 Konferenzschrift 2019 Kongens Lyngby gnd-content Pérez, Jorge A. edt DisCoTec 14. 2019 Kongens Lyngby (DE-588)1190682958 oth Erscheint auch als Online-Ausgabe 978-3-030-21759-4 Lecture Notes in computer science 11535 (DE-604)BV000000607 11535 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings Lecture Notes in computer science |
| subject_GND | (DE-588)1071861417 |
| title | Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings Jorge A. Pérez, Nobuko Yoshida (eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings Jorge A. Pérez, Nobuko Yoshida (eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings Jorge A. Pérez, Nobuko Yoshida (eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 39th ifip wg 6 1 international conference forte 2019 held as part of the 14th international federated conference on distributed computing techniques discotec 2019 kongens lyngby denmark june 17 21 2019 proceedings |
| title_sub | 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings |
| topic_facet | Konferenzschrift 2019 Kongens Lyngby |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fortekongenslyngby formaltechniquesfordistributedobjectscomponentsandsystems39thifipwg61internationalconferenceforte2019heldaspartofthe14thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2019kongenslyngbydenmarkjune17212019proceedings AT perezjorgea formaltechniquesfordistributedobjectscomponentsandsystems39thifipwg61internationalconferenceforte2019heldaspartofthe14thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2019kongenslyngbydenmarkjune17212019proceedings AT discoteckongenslyngby formaltechniquesfordistributedobjectscomponentsandsystems39thifipwg61internationalconferenceforte2019heldaspartofthe14thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2019kongenslyngbydenmarkjune17212019proceedings |