Formal techniques for distributed objects, components, and systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in computer science
13910 |
| Schlagworte: | |
| Beschreibung: | xiv, 223 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031353543 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049060570 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 230721s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031353543 |9 978-3-031-35354-3 | ||
| 035 | |a (OCoLC)1392145997 | ||
| 035 | |a (DE-599)BVBBV049060570 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 250 |2 stub | ||
| 084 | |a DAT 510 |2 stub | ||
| 111 | 2 | |a FORTE |n 43. |d 2023 |c Lissabon |j Verfasser |0 (DE-588)1296070204 |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings |c Marieke Huisman, António Ravara, editors |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xiv, 223 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 13910 | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Software engineering | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Lissabon |2 gnd-content | |
| 700 | 1 | |a Huisman, Marieke |d 1973- |0 (DE-588)1132831601 |4 edt | |
| 700 | 1 | |a Ravara, António |4 edt | |
| 711 | 2 | |a DisCoTec |n 18. |d 2023 |c Lissabon |0 (DE-588)1296069885 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-35355-0 |
| 830 | 0 | |a Lecture notes in computer science |v 13910 |w (DE-604)BV000000607 |9 13910 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034322730 | |
Datensatz im Suchindex
| _version_ | 1820875835066810368 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Huisman, Marieke 1973- Ravara, António |
| author2_role | edt edt |
| author2_variant | m h mh a r ar |
| author_GND | (DE-588)1132831601 |
| author_corporate | FORTE Lissabon |
| author_corporate_role | aut |
| author_facet | Huisman, Marieke 1973- Ravara, António FORTE Lissabon |
| author_sort | FORTE Lissabon |
| building | Verbundindex |
| bvnumber | BV049060570 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 250 DAT 510 |
| ctrlnum | (OCoLC)1392145997 (DE-599)BVBBV049060570 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV049060570</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230721s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031353543</subfield><subfield code="9">978-3-031-35354-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1392145997</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049060570</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="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">43.</subfield><subfield code="d">2023</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1296070204</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">43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings</subfield><subfield code="c">Marieke Huisman, António Ravara, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 223 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">13910</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Huisman, Marieke</subfield><subfield code="d">1973-</subfield><subfield code="0">(DE-588)1132831601</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ravara, António</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">18.</subfield><subfield code="d">2023</subfield><subfield code="c">Lissabon</subfield><subfield code="0">(DE-588)1296069885</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-35355-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13910</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13910</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034322730</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2023 Lissabon |
| id | DE-604.BV049060570 |
| illustrated | Illustrated |
| index_date | 2024-07-03T22:24:06Z |
| indexdate | 2025-01-10T15:21:57Z |
| institution | BVB |
| institution_GND | (DE-588)1296070204 (DE-588)1296069885 |
| isbn | 9783031353543 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034322730 |
| oclc_num | 1392145997 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiv, 223 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FORTE 43. 2023 Lissabon Verfasser (DE-588)1296070204 aut Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings Marieke Huisman, António Ravara, editors Cham, Switzerland Springer [2023] © 2023 xiv, 223 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13910 Software Engineering Software engineering (DE-588)1071861417 Konferenzschrift 2023 Lissabon gnd-content Huisman, Marieke 1973- (DE-588)1132831601 edt Ravara, António edt DisCoTec 18. 2023 Lissabon (DE-588)1296069885 oth Erscheint auch als Online-Ausgabe 978-3-031-35355-0 Lecture notes in computer science 13910 (DE-604)BV000000607 13910 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings Lecture notes in computer science Software Engineering Software engineering |
| subject_GND | (DE-588)1071861417 |
| title | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings |
| title_exact_search_txtP | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings Marieke Huisman, António Ravara, editors |
| title_fullStr | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings Marieke Huisman, António Ravara, editors |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings Marieke Huisman, António Ravara, editors |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 43rd ifip wg 6 1 international conference forte 2023 held as part of the 18th international federated conference on distributed computing techniques discotec 2023 lisbon portugal june 19 23 2023 proceedings |
| title_sub | 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings |
| topic | Software Engineering Software engineering |
| topic_facet | Software Engineering Software engineering Konferenzschrift 2023 Lissabon |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fortelissabon formaltechniquesfordistributedobjectscomponentsandsystems43rdifipwg61internationalconferenceforte2023heldaspartofthe18thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2023lisbonportugaljune19232023proceedings AT huismanmarieke formaltechniquesfordistributedobjectscomponentsandsystems43rdifipwg61internationalconferenceforte2023heldaspartofthe18thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2023lisbonportugaljune19232023proceedings AT ravaraantonio formaltechniquesfordistributedobjectscomponentsandsystems43rdifipwg61internationalconferenceforte2023heldaspartofthe18thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2023lisbonportugaljune19232023proceedings AT discoteclissabon formaltechniquesfordistributedobjectscomponentsandsystems43rdifipwg61internationalconferenceforte2023heldaspartofthe18thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2023lisbonportugaljune19232023proceedings |