Formal techniques for distributed objects, components, and systems: 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
[Cham]
Springer
[2018]
|
| Series: | Lecture Notes in computer science
10854 |
| Subjects: | |
| Physical Description: | X, 195 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319395692 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045009459 | ||
| 003 | DE-604 | ||
| 005 | 20190731 | ||
| 007 | t| | ||
| 008 | 180615s2018 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319395692 |c Print |9 978-3-319-39569-2 | ||
| 035 | |a (OCoLC)1041593191 | ||
| 035 | |a (DE-599)BVBBV045009459 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FORTE |n 38. |d 2018 |c Madrid |j Verfasser |0 (DE-588)1161191895 |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings |c Christel Baier, Luís Caires (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2018] | |
| 300 | |a X, 195 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 10854 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Baier, Christel |0 (DE-588)12400301X |4 edt | |
| 700 | 1 | |a Caires, Luís |4 edt | |
| 711 | 2 | |a DisCoTec |n 13. |d 2018 |c Madrid |j Sonstige |0 (DE-588)1161194304 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-92612-4 |
| 830 | 0 | |a Lecture Notes in computer science |v 10854 |w (DE-604)BV000000607 |9 10854 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030401420 | |
Record in the Search Index
| _version_ | 1820875715865739264 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Baier, Christel Caires, Luís |
| author2_role | edt edt |
| author2_variant | c b cb l c lc |
| author_GND | (DE-588)12400301X |
| author_corporate | FORTE Madrid |
| author_corporate_role | aut |
| author_facet | Baier, Christel Caires, Luís FORTE Madrid |
| author_sort | FORTE Madrid |
| building | Verbundindex |
| bvnumber | BV045009459 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1041593191 (DE-599)BVBBV045009459 |
| 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">BV045009459</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190731</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">180615s2018 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319395692</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-39569-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1041593191</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045009459</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">38.</subfield><subfield code="d">2018</subfield><subfield code="c">Madrid</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1161191895</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">38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings</subfield><subfield code="c">Christel Baier, Luís Caires (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 195 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">10854</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Caires, Luís</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">13.</subfield><subfield code="d">2018</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1161194304</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-319-92612-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in computer science</subfield><subfield code="v">10854</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10854</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030401420</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV045009459 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:20:03Z |
| institution | BVB |
| institution_GND | (DE-588)1161191895 (DE-588)1161194304 |
| isbn | 9783319395692 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030401420 |
| oclc_num | 1041593191 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | X, 195 Seiten Illustrationen, Diagramme |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in computer science |
| series2 | Lecture Notes in computer science |
| spelling | FORTE 38. 2018 Madrid Verfasser (DE-588)1161191895 aut Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings Christel Baier, Luís Caires (eds.) [Cham] Springer [2018] X, 195 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in computer science 10854 Computer science Computer communication systems Software engineering Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Computer Communication Networks Informatik (DE-588)1071861417 Konferenzschrift gnd-content Baier, Christel (DE-588)12400301X edt Caires, Luís edt DisCoTec 13. 2018 Madrid Sonstige (DE-588)1161194304 oth Erscheint auch als Online-Ausgabe 978-3-319-92612-4 Lecture Notes in computer science 10854 (DE-604)BV000000607 10854 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings Lecture Notes in computer science Computer science Computer communication systems Software engineering Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Computer Communication Networks Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings Christel Baier, Luís Caires (eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings Christel Baier, Luís Caires (eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings Christel Baier, Luís Caires (eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 38th ifip wg 6 1 international conference forte 2018 held as part of the 13th international federated conference on distributed computing techniques discotec 2018 madrid spain june 18 21 2018 proceedings |
| title_sub | 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings |
| topic | Computer science Computer communication systems Software engineering Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Computer Communication Networks Informatik |
| topic_facet | Computer science Computer communication systems Software engineering Computers Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Computer Communication Networks Informatik Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fortemadrid formaltechniquesfordistributedobjectscomponentsandsystems38thifipwg61internationalconferenceforte2018heldaspartofthe13thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2018madridspainjune18212018proceedings AT baierchristel formaltechniquesfordistributedobjectscomponentsandsystems38thifipwg61internationalconferenceforte2018heldaspartofthe13thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2018madridspainjune18212018proceedings AT cairesluis formaltechniquesfordistributedobjectscomponentsandsystems38thifipwg61internationalconferenceforte2018heldaspartofthe13thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2018madridspainjune18212018proceedings AT discotecmadrid formaltechniquesfordistributedobjectscomponentsandsystems38thifipwg61internationalconferenceforte2018heldaspartofthe13thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2018madridspainjune18212018proceedings |