Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
[Cham]
Springer
[2016]
|
| Series: | Lecture Notes in Computer Science
Volume 9688 |
| Subjects: | |
| Physical Description: | XVI, 275 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319395692 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043682934 | ||
| 003 | DE-604 | ||
| 005 | 20161012 | ||
| 007 | t| | ||
| 008 | 160722s2016 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319395692 |c Print |9 978-3-319-39569-2 | ||
| 035 | |a (OCoLC)956354479 | ||
| 035 | |a (DE-599)BVBBV043682934 | ||
| 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 36. |d 2016 |c Heraklion |j Verfasser |0 (DE-588)110314555X |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for distributed objects, components, and systems |b 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings |c Elvira Albert, Ivan Lanese (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a XVI, 275 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 Volume 9688 | |
| 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 Albert, Elvira |0 (DE-588)1036116271 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-39570-8 |
| 830 | 0 | |a Lecture Notes in Computer Science |v Volume 9688 |w (DE-604)BV000000607 |9 9688 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029095775 | |
Record in the Search Index
| _version_ | 1820875689779265536 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Albert, Elvira |
| author2_role | edt |
| author2_variant | e a ea |
| author_GND | (DE-588)1036116271 |
| author_corporate | FORTE Heraklion |
| author_corporate_role | aut |
| author_facet | Albert, Elvira FORTE Heraklion |
| author_sort | FORTE Heraklion |
| building | Verbundindex |
| bvnumber | BV043682934 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 250f |
| ctrlnum | (OCoLC)956354479 (DE-599)BVBBV043682934 |
| 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">BV043682934</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161012</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">160722s2016 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)956354479</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043682934</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">36.</subfield><subfield code="d">2016</subfield><subfield code="c">Heraklion</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)110314555X</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">36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings</subfield><subfield code="c">Elvira Albert, Ivan Lanese (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 275 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">Volume 9688</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">Albert, Elvira</subfield><subfield code="0">(DE-588)1036116271</subfield><subfield code="4">edt</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-39570-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">Volume 9688</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9688</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029095775</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043682934 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:38Z |
| institution | BVB |
| institution_GND | (DE-588)110314555X |
| isbn | 9783319395692 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029095775 |
| oclc_num | 956354479 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XVI, 275 Seiten Illustrationen, Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | FORTE 36. 2016 Heraklion Verfasser (DE-588)110314555X aut Formal techniques for distributed objects, components, and systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings Elvira Albert, Ivan Lanese (eds.) [Cham] Springer [2016] © 2016 XVI, 275 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science Volume 9688 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 Albert, Elvira (DE-588)1036116271 edt Erscheint auch als Online-Ausgabe 978-3-319-39570-8 Lecture Notes in Computer Science Volume 9688 (DE-604)BV000000607 9688 |
| spellingShingle | Formal techniques for distributed objects, components, and systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: 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 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings |
| title_auth | Formal techniques for distributed objects, components, and systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings |
| title_exact_search | Formal techniques for distributed objects, components, and systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings |
| title_full | Formal techniques for distributed objects, components, and systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings Elvira Albert, Ivan Lanese (eds.) |
| title_fullStr | Formal techniques for distributed objects, components, and systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings Elvira Albert, Ivan Lanese (eds.) |
| title_full_unstemmed | Formal techniques for distributed objects, components, and systems 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: proceedings Elvira Albert, Ivan Lanese (eds.) |
| title_short | Formal techniques for distributed objects, components, and systems |
| title_sort | formal techniques for distributed objects components and systems 36th ifip wg 6 1 international conference forte 2016 held as part of the 11th international federated conference on distributed computing techniques discotec 2016 heraklion crete greece june 6 9 2016 proceedings |
| title_sub | 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016: 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 forteheraklion formaltechniquesfordistributedobjectscomponentsandsystems36thifipwg61internationalconferenceforte2016heldaspartofthe11thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2016heraklioncretegreecejune692016proceedings AT albertelvira formaltechniquesfordistributedobjectscomponentsandsystems36thifipwg61internationalconferenceforte2016heldaspartofthe11thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2016heraklioncretegreecejune692016proceedings |