Formal techniques for distributed objects, components, and systems: 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2020]
|
| Series: | Lecture Notes in computer science
12136 |
| Subjects: | |
| Physical Description: | xii, 237 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030500856 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046799018 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200708s2020 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030500856 |9 978-3-030-50085-6 | ||
| 035 | |a (OCoLC)1164629402 | ||
| 035 | |a (DE-599)BVBBV046799018 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FORTE |n 40. |d 2020 |c Online |j Verfasser |0 (DE-588)1213377935 |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings |c Alexey Gotsman, Ana Sokolova (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 300 | |a xii, 237 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 12136 | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z Online |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gotsman, Alexey |4 edt | |
| 711 | 2 | |a DisCoTec |n 15. |d 2020 |c Online |0 (DE-588)1213372623 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-50086-3 |
| 830 | 0 | |a Lecture Notes in computer science |v 12136 |w (DE-604)BV000000607 |9 12136 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032207818 | |
Record in the Search Index
| _version_ | 1820875780302831616 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Gotsman, Alexey |
| author2_role | edt |
| author2_variant | a g ag |
| author_corporate | FORTE Online |
| author_corporate_role | aut |
| author_facet | Gotsman, Alexey FORTE Online |
| author_sort | FORTE Online |
| building | Verbundindex |
| bvnumber | BV046799018 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1164629402 (DE-599)BVBBV046799018 |
| discipline | Informatik |
| discipline_str_mv | 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">BV046799018</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200708s2020 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030500856</subfield><subfield code="9">978-3-030-50085-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164629402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046799018</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">40.</subfield><subfield code="d">2020</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1213377935</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">40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings</subfield><subfield code="c">Alexey Gotsman, Ana Sokolova (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 237 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">12136</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">2020</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2020</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Gotsman, Alexey</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">15.</subfield><subfield code="d">2020</subfield><subfield code="c">Online</subfield><subfield code="0">(DE-588)1213372623</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-50086-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in computer science</subfield><subfield code="v">12136</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12136</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032207818</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2020 Online gnd-content |
| genre_facet | Konferenzschrift 2020 Online |
| id | DE-604.BV046799018 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:55:19Z |
| indexdate | 2025-01-10T15:21:04Z |
| institution | BVB |
| institution_GND | (DE-588)1213377935 (DE-588)1213372623 |
| isbn | 9783030500856 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032207818 |
| oclc_num | 1164629402 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xii, 237 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in computer science |
| series2 | Lecture Notes in computer science |
| spelling | FORTE 40. 2020 Online Verfasser (DE-588)1213377935 aut Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings Alexey Gotsman, Ana Sokolova (eds.) Cham Springer [2020] xii, 237 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in computer science 12136 Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2020 Online gnd-content Software Engineering (DE-588)4116521-4 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Gotsman, Alexey edt DisCoTec 15. 2020 Online (DE-588)1213372623 oth Erscheint auch als Online-Ausgabe 978-3-030-50086-3 Lecture Notes in computer science 12136 (DE-604)BV000000607 12136 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings Lecture Notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4116521-4 (DE-588)1071861417 |
| title | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings |
| title_exact_search_txtP | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings Alexey Gotsman, Ana Sokolova (eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings Alexey Gotsman, Ana Sokolova (eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings Alexey Gotsman, Ana Sokolova (eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 40th ifip wg 6 1 international conference forte 2020 held as part of the 15th international federated conference on distributed computing techniques discotec 2020 valletta malta june 15 19 2020 proceedings |
| title_sub | 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Künstliche Intelligenz Software Engineering Konferenzschrift 2020 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT forteonline formaltechniquesfordistributedobjectscomponentsandsystems40thifipwg61internationalconferenceforte2020heldaspartofthe15thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2020vallettamaltajune15192020proceedings AT gotsmanalexey formaltechniquesfordistributedobjectscomponentsandsystems40thifipwg61internationalconferenceforte2020heldaspartofthe15thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2020vallettamaltajune15192020proceedings AT discoteconline formaltechniquesfordistributedobjectscomponentsandsystems40thifipwg61internationalconferenceforte2020heldaspartofthe15thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2020vallettamaltajune15192020proceedings |