Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer
[2017]
|
| Series: | Lecture Notes in Computer Science
10321 |
| Subjects: | |
| Online Access: | BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext |
| Physical Description: | 1 Online-Ressource (XIV, 242 Seiten) Illustrationen, Diagramme |
| ISBN: | 9783319602257 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-60225-7 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044397032 | ||
| 003 | DE-604 | ||
| 005 | 20211228 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170705s2017 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319602257 |c Online |9 978-3-319-60225-7 | ||
| 024 | 7 | |a 10.1007/978-3-319-60225-7 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783319602257 | ||
| 035 | |a (ZDB-2-LNC)9783319602257 | ||
| 035 | |a (OCoLC)1002255146 | ||
| 035 | |a (DE-599)BVBBV044397032 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-860 |a DE-91 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-523 |a DE-859 |a DE-473 |a DE-29 |a DE-863 |a DE-20 |a DE-862 |a DE-92 |a DE-573 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 |a DE-384 |a DE-355 |a DE-188 |a DE-19 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 250f |2 stub | ||
| 111 | 2 | |a FORTE |n 37. |d 2017 |c Neuenburg, Schweiz |j Verfasser |0 (DE-588)1135539685 |4 aut | |
| 245 | 1 | 0 | |a Formal Techniques for Distributed Objects, Components, and Systems |b 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings |c Ahmed Bouajjani, Alexandra Silva (Eds.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a 1 Online-Ressource (XIV, 242 Seiten) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 10321 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)1071861417 |a Konferenzschrift |y 2016 |z Heraklion |2 gnd-content | |
| 700 | 1 | |a Bouajjani, Ahmed |4 edt | |
| 700 | 1 | |a Silva, Alexandra |4 edt | |
| 711 | 2 | |a DisCoTec |n 12. |d 2017 |c Neuenburg, Schweiz |j Verfasser |0 (DE-588)1135160937 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-60224-0 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 10321 |w (DE-604)BV014880109 |9 10321 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-60225-7 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2017 | |
| 940 | 1 | |q ZDB-2-LNC_2017 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029799166 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FHA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FHI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FHR01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FLA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FWS01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l FWS02 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l HTW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2017 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-60225-7 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 651593 |
|---|---|
| _version_ | 1824554606307311617 |
| any_adam_object | |
| author2 | Bouajjani, Ahmed Silva, Alexandra |
| author2_role | edt edt |
| author2_variant | a b ab a s as |
| author_corporate | FORTE Neuenburg, Schweiz DisCoTec |
| author_corporate_role | aut aut |
| author_facet | Bouajjani, Ahmed Silva, Alexandra FORTE Neuenburg, Schweiz DisCoTec |
| author_sort | FORTE Neuenburg, Schweiz |
| building | Verbundindex |
| bvnumber | BV044397032 |
| classification_tum | DAT 000 DAT 510f DAT 250f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783319602257 (ZDB-2-LNC)9783319602257 (OCoLC)1002255146 (DE-599)BVBBV044397032 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-60225-7 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05121nmm a2200949zcb4500</leader><controlfield tag="001">BV044397032</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211228 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170705s2017 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319602257</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-60225-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-60225-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783319602257</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783319602257</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1002255146</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044397032</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-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">37.</subfield><subfield code="d">2017</subfield><subfield code="c">Neuenburg, Schweiz</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1135539685</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">37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings</subfield><subfield code="c">Ahmed Bouajjani, Alexandra Silva (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 242 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">10321</subfield><subfield code="x">0302-9743</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">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">Artificial intelligence</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">Artificial Intelligence (incl. Robotics)</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">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2016</subfield><subfield code="z">Heraklion</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bouajjani, Ahmed</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Silva, Alexandra</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">12.</subfield><subfield code="d">2017</subfield><subfield code="c">Neuenburg, Schweiz</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1135160937</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-319-60224-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">10321</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">10321</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2017</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2017</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029799166</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2017</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-60225-7</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content 2\p (DE-588)1071861417 Konferenzschrift 2016 Heraklion gnd-content |
| genre_facet | Konferenzschrift Konferenzschrift 2016 Heraklion |
| id | DE-604.BV044397032 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:54:26Z |
| institution | BVB |
| institution_GND | (DE-588)1135539685 (DE-588)1135160937 |
| isbn | 9783319602257 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029799166 |
| oclc_num | 1002255146 |
| open_access_boolean | |
| owner | DE-860 DE-91 DE-BY-TUM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-384 DE-355 DE-BY-UBR DE-188 DE-19 DE-BY-UBM |
| owner_facet | DE-860 DE-91 DE-BY-TUM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-384 DE-355 DE-BY-UBR DE-188 DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (XIV, 242 Seiten) Illustrationen, Diagramme |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2017 ZDB-2-LNC_2017 ZDB-2-LNC ZDB-2-LNC_2017 |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spellingShingle | Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings Lecture Notes in Computer Science Computer science Computer communication systems Software engineering Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Computer Communication Networks Informatik Künstliche Intelligenz |
| subject_GND | (DE-588)1071861417 |
| title | Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings |
| title_auth | Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings |
| title_exact_search | Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings |
| title_full | Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings Ahmed Bouajjani, Alexandra Silva (Eds.) |
| title_fullStr | Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings Ahmed Bouajjani, Alexandra Silva (Eds.) |
| title_full_unstemmed | Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings Ahmed Bouajjani, Alexandra Silva (Eds.) |
| title_short | Formal Techniques for Distributed Objects, Components, and Systems |
| title_sort | formal techniques for distributed objects components and systems 37th ifip wg 6 1 international conference forte 2017 held as part of the 12th international federated conference on distributed computing techniques discotec 2017 neuchatel switzerland june 19 22 2017 proceedings |
| title_sub | 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings |
| topic | Computer science Computer communication systems Software engineering Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Computer Communication Networks Informatik Künstliche Intelligenz |
| topic_facet | Computer science Computer communication systems Software engineering Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Software Engineering Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Computer Communication Networks Informatik Künstliche Intelligenz Konferenzschrift Konferenzschrift 2016 Heraklion |
| url | https://doi.org/10.1007/978-3-319-60225-7 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT forteneuenburgschweiz formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchatelswitzerlandjune19222017proceedings AT bouajjaniahmed formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchatelswitzerlandjune19222017proceedings AT silvaalexandra formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchatelswitzerlandjune19222017proceedings AT discotecneuenburgschweiz formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchatelswitzerlandjune19222017proceedings |