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
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2017]
|
| Schriftenreihe: | Lecture Notes in computer science
10321 |
| Schlagworte: | |
| Beschreibung: | XIV, 242 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319395692 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044352187 | ||
| 003 | DE-604 | ||
| 005 | 20180615 | ||
| 007 | t| | ||
| 008 | 170616s2017 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319395692 |c Print |9 978-3-319-39569-2 | ||
| 035 | |a (OCoLC)992548703 | ||
| 035 | |a (DE-599)BVBBV044352187 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 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] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a XIV, 242 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 10321 | |
| 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 Bouajjani, Ahmed |4 edt | |
| 711 | 2 | |a DisCoTec |n 12. |d 2017 |c Neuenburg, Schweiz |j Sonstige |0 (DE-588)1135160937 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |z 978-3-319-39570-8 |n Online-Ausgabe |
| 830 | 0 | |a Lecture Notes in computer science |v 10321 |w (DE-604)BV000000607 |9 10321 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029754949 | |
Datensatz im Suchindex
| _version_ | 1820875694420262912 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Bouajjani, Ahmed |
| author2_role | edt |
| author2_variant | a b ab |
| author_corporate | FORTE Neuenburg, Schweiz |
| author_corporate_role | aut |
| author_facet | Bouajjani, Ahmed FORTE Neuenburg, Schweiz |
| author_sort | FORTE Neuenburg, Schweiz |
| building | Verbundindex |
| bvnumber | BV044352187 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 250f |
| ctrlnum | (OCoLC)992548703 (DE-599)BVBBV044352187 |
| 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 |
| 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">BV044352187</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180615</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170616s2017 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)992548703</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044352187</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.1015113</subfield><subfield code="2">23</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="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">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">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">10321</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">Bouajjani, Ahmed</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">Sonstige</subfield><subfield code="0">(DE-588)1135160937</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="z">978-3-319-39570-8</subfield><subfield code="n">Online-Ausgabe</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)BV000000607</subfield><subfield code="9">10321</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029754949</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044352187 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:43Z |
| institution | BVB |
| institution_GND | (DE-588)1135539685 (DE-588)1135160937 |
| isbn | 9783319395692 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029754949 |
| oclc_num | 992548703 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XIV, 242 Seiten Illustrationen, Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in computer science |
| series2 | Lecture Notes in computer science |
| spelling | FORTE 37. 2017 Neuenburg, Schweiz Verfasser (DE-588)1135539685 aut 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.) [Cham] Springer [2017] © 2017 XIV, 242 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in computer science 10321 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 Bouajjani, Ahmed edt DisCoTec 12. 2017 Neuenburg, Schweiz Sonstige (DE-588)1135160937 oth Erscheint auch als 978-3-319-39570-8 Online-Ausgabe Lecture Notes in computer science 10321 (DE-604)BV000000607 10321 |
| 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 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 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 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 forteneuenburgschweiz formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchatelswitzerlandjune19222017proceedings AT bouajjaniahmed formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchatelswitzerlandjune19222017proceedings AT discotecneuenburgschweiz formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchatelswitzerlandjune19222017proceedings |