Formal techniques for distributed objects, components, and systems: 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2022]
|
| Schriftenreihe: | Lecture Notes in computer science
13273 |
| Schlagworte: | |
| Beschreibung: | xiv, 209 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031086786 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV048325263 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 220712s2022 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031086786 |9 978-3-031-08678-6 | ||
| 035 | |a (OCoLC)1335409441 | ||
| 035 | |a (DE-599)BVBBV048325263 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems |n 42. |d 2022 |c Lucca |j Verfasser |0 (DE-588)1262342279 |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings |c Mohammad Reza Mousavi, Anna Philippou (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 300 | |a xiv, 209 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 13273 | |
| 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 2022 |z Lucca |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 Mousavi, Mohammad Reza |d 1978- |0 (DE-588)1046304518 |4 edt | |
| 711 | 2 | |a DisCoTec |n 17. |d 2022 |c Lucca |0 (DE-588)1262342414 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-08679-3 |
| 830 | 0 | |a Lecture Notes in computer science |v 13273 |w (DE-604)BV000000607 |9 13273 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033704552 | |
Datensatz im Suchindex
| _version_ | 1820875812305371136 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Mousavi, Mohammad Reza 1978- |
| author2_role | edt |
| author2_variant | m r m mr mrm |
| author_GND | (DE-588)1046304518 |
| author_corporate | IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems Lucca |
| author_corporate_role | aut |
| author_facet | Mousavi, Mohammad Reza 1978- IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems Lucca |
| author_sort | IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems Lucca |
| building | Verbundindex |
| bvnumber | BV048325263 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1335409441 (DE-599)BVBBV048325263 |
| 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">BV048325263</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">220712s2022 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031086786</subfield><subfield code="9">978-3-031-08678-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1335409441</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048325263</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">IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems</subfield><subfield code="n">42.</subfield><subfield code="d">2022</subfield><subfield code="c">Lucca</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1262342279</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">42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings</subfield><subfield code="c">Mohammad Reza Mousavi, Anna Philippou (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 209 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">13273</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">2022</subfield><subfield code="z">Lucca</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">Mousavi, Mohammad Reza</subfield><subfield code="d">1978-</subfield><subfield code="0">(DE-588)1046304518</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">17.</subfield><subfield code="d">2022</subfield><subfield code="c">Lucca</subfield><subfield code="0">(DE-588)1262342414</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-031-08679-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in computer science</subfield><subfield code="v">13273</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13273</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033704552</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2022 Lucca gnd-content |
| genre_facet | Konferenzschrift 2022 Lucca |
| id | DE-604.BV048325263 |
| illustrated | Illustrated |
| index_date | 2024-07-03T20:12:51Z |
| indexdate | 2025-01-10T15:21:35Z |
| institution | BVB |
| institution_GND | (DE-588)1262342279 (DE-588)1262342414 |
| isbn | 9783031086786 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033704552 |
| oclc_num | 1335409441 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiv, 209 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in computer science |
| series2 | Lecture Notes in computer science |
| spelling | IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems 42. 2022 Lucca Verfasser (DE-588)1262342279 aut Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings Mohammad Reza Mousavi, Anna Philippou (eds.) Cham Springer [2022] xiv, 209 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in computer science 13273 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 2022 Lucca 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 Mousavi, Mohammad Reza 1978- (DE-588)1046304518 edt DisCoTec 17. 2022 Lucca (DE-588)1262342414 oth Erscheint auch als Online-Ausgabe 978-3-031-08679-3 Lecture Notes in computer science 13273 (DE-604)BV000000607 13273 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : 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 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings |
| title_exact_search_txtP | Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings Mohammad Reza Mousavi, Anna Philippou (eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings Mohammad Reza Mousavi, Anna Philippou (eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings Mohammad Reza Mousavi, Anna Philippou (eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 42nd ifip wg 6 1 international conference forte 2022 held as part of the 17th international federated conference on distributed computing techniques discotec 2022 lucca italy june 13 17 2022 proceedings |
| title_sub | 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : 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 2022 Lucca |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ifipwg61internationalconferenceonformaltechniquesfordistributedobjectscomponentsandsystemslucca formaltechniquesfordistributedobjectscomponentsandsystems42ndifipwg61internationalconferenceforte2022heldaspartofthe17thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2022luccaitalyjune13172022proceedings AT mousavimohammadreza formaltechniquesfordistributedobjectscomponentsandsystems42ndifipwg61internationalconferenceforte2022heldaspartofthe17thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2022luccaitalyjune13172022proceedings AT discoteclucca formaltechniquesfordistributedobjectscomponentsandsystems42ndifipwg61internationalconferenceforte2022heldaspartofthe17thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2022luccaitalyjune13172022proceedings |