Formal techniques for distributed objects, components, and systems: 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2021]
|
| Series: | Lecture Notes in computer science
12719 |
| Subjects: | |
| Physical Description: | xii, 245 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030780883 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047399073 | ||
| 003 | DE-604 | ||
| 005 | 20220427 | ||
| 007 | t| | ||
| 008 | 210803s2021 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030780883 |9 978-3-030-78088-3 | ||
| 035 | |a (OCoLC)1263255172 | ||
| 035 | |a (DE-599)BVBBV047399073 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FORTE |n 41. |d 2021 |c Online |j Verfasser |0 (DE-588)1238102069 |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings |c Kirstin Peters, Tim A. C. Willemse (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2021] | |
| 300 | |a xii, 245 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 12719 | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 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 2021 |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 | 2 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Peters, Kirstin |d 1981- |0 (DE-588)1256321370 |4 edt | |
| 711 | 2 | |a DisCoTec |n 16. |d 2021 |c Online |0 (DE-588)1238090281 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-78089-0 |
| 830 | 0 | |a Lecture Notes in computer science |v 12719 |w (DE-604)BV000000607 |9 12719 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032800218 | |
Record in the Search Index
| _version_ | 1820875794696634368 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Peters, Kirstin 1981- |
| author2_role | edt |
| author2_variant | k p kp |
| author_GND | (DE-588)1256321370 |
| author_corporate | FORTE Online |
| author_corporate_role | aut |
| author_facet | Peters, Kirstin 1981- FORTE Online |
| author_sort | FORTE Online |
| building | Verbundindex |
| bvnumber | BV047399073 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1263255172 (DE-599)BVBBV047399073 |
| 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">BV047399073</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220427</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">210803s2021 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030780883</subfield><subfield code="9">978-3-030-78088-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1263255172</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047399073</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">41.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1238102069</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">41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings</subfield><subfield code="c">Kirstin Peters, Tim A. C. Willemse (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 245 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">12719</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">2021</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="2"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Peters, Kirstin</subfield><subfield code="d">1981-</subfield><subfield code="0">(DE-588)1256321370</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">16.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="0">(DE-588)1238090281</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-78089-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in computer science</subfield><subfield code="v">12719</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12719</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032800218</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047399073 |
| illustrated | Illustrated |
| index_date | 2024-07-03T17:51:54Z |
| indexdate | 2025-01-10T15:21:18Z |
| institution | BVB |
| institution_GND | (DE-588)1238102069 (DE-588)1238090281 |
| isbn | 9783030780883 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032800218 |
| oclc_num | 1263255172 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xii, 245 Seiten Illustrationen, Diagramme |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in computer science |
| series2 | Lecture Notes in computer science |
| spelling | FORTE 41. 2021 Online Verfasser (DE-588)1238102069 aut Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings Kirstin Peters, Tim A. C. Willemse (eds.) Cham Springer [2021] xii, 245 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in computer science 12719 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content Software Engineering (DE-588)4116521-4 s Künstliche Intelligenz (DE-588)4033447-8 s Mathematische Logik (DE-588)4037951-6 s DE-604 Peters, Kirstin 1981- (DE-588)1256321370 edt DisCoTec 16. 2021 Online (DE-588)1238090281 oth Erscheint auch als Online-Ausgabe 978-3-030-78089-0 Lecture Notes in computer science 12719 (DE-604)BV000000607 12719 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings Lecture Notes in computer science Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4033447-8 (DE-588)4116521-4 (DE-588)1071861417 |
| title | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings |
| title_exact_search_txtP | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings Kirstin Peters, Tim A. C. Willemse (eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings Kirstin Peters, Tim A. C. Willemse (eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings Kirstin Peters, Tim A. C. Willemse (eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 41st ifip wg 6 1 international conference forte 2021 held as part of the 16th international federated conference on distributed computing techniques discotec 2021 valletta malta june 14 18 2021 proceedings |
| title_sub | 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Mathematische Logik Künstliche Intelligenz Software Engineering Konferenzschrift 2021 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT forteonline formaltechniquesfordistributedobjectscomponentsandsystems41stifipwg61internationalconferenceforte2021heldaspartofthe16thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2021vallettamaltajune14182021proceedings AT peterskirstin formaltechniquesfordistributedobjectscomponentsandsystems41stifipwg61internationalconferenceforte2021heldaspartofthe16thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2021vallettamaltajune14182021proceedings AT discoteconline formaltechniquesfordistributedobjectscomponentsandsystems41stifipwg61internationalconferenceforte2021heldaspartofthe16thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2021vallettamaltajune14182021proceedings |