Recent trends in algebraic development techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10644 |
| Schlagworte: | |
| Beschreibung: | X, 222 Seiten Illustrationen |
| ISBN: | 9783319720432 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044707759 | ||
| 003 | DE-604 | ||
| 005 | 20190731 | ||
| 007 | t | ||
| 008 | 180110s2017 a||| |||| 10||| eng d | ||
| 020 | |a 9783319720432 |9 978-3-319-72043-2 | ||
| 035 | |a (OCoLC)1011037195 | ||
| 035 | |a (DE-599)BVBBV044707759 | ||
| 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 SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 245 | 1 | 0 | |a Recent trends in algebraic development techniques |b 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers |c Phillip James, Markus Roggenbach (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a X, 222 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10644 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | 1 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a James, Phillip |4 edt | |
| 710 | 2 | |a International Federation for Information Processing |0 (DE-588)1003417-1 |4 oth | |
| 711 | 2 | |a WADT |n 23. |d 2016 |c Gregynog Hall |0 (DE-588)1150334460 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-72044-9 |
| 830 | 0 | |a Lecture notes in computer science |v 10644 |w (DE-604)BV000000607 |9 10644 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030104351 | ||
Datensatz im Suchindex
| _version_ | 1804178184691777536 |
|---|---|
| any_adam_object | |
| author2 | James, Phillip |
| author2_role | edt |
| author2_variant | p j pj |
| author_facet | James, Phillip |
| building | Verbundindex |
| bvnumber | BV044707759 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1011037195 (DE-599)BVBBV044707759 |
| 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>02245nam a2200565zcb4500</leader><controlfield tag="001">BV044707759</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190731 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180110s2017 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319720432</subfield><subfield code="9">978-3-319-72043-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1011037195</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044707759</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in algebraic development techniques</subfield><subfield code="b">23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers</subfield><subfield code="c">Phillip James, Markus Roggenbach (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">X, 222 Seiten</subfield><subfield code="b">Illustrationen</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">10644</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic 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 simulation</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">James, Phillip</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="0">(DE-588)1003417-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WADT</subfield><subfield code="n">23.</subfield><subfield code="d">2016</subfield><subfield code="c">Gregynog Hall</subfield><subfield code="0">(DE-588)1150334460</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-72044-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10644</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10644</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030104351</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044707759 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:59:56Z |
| institution | BVB |
| institution_GND | (DE-588)1003417-1 (DE-588)1150334460 |
| isbn | 9783319720432 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030104351 |
| oclc_num | 1011037195 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | X, 222 Seiten Illustrationen |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers Phillip James, Markus Roggenbach (eds.) Cham Springer [2017] X, 222 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10644 Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer simulation Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Foundations Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Algebraische Spezifikation (DE-588)4207192-6 s Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 James, Phillip edt International Federation for Information Processing (DE-588)1003417-1 oth WADT 23. 2016 Gregynog Hall (DE-588)1150334460 oth Erscheint auch als Online-Ausgabe 978-3-319-72044-9 Lecture notes in computer science 10644 (DE-604)BV000000607 10644 |
| spellingShingle | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers Lecture notes in computer science Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer simulation Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Foundations Formale Spezifikationstechnik (DE-588)4299725-2 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| subject_GND | (DE-588)4299725-2 (DE-588)4207192-6 (DE-588)1071861417 |
| title | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers |
| title_auth | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers |
| title_exact_search | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers |
| title_full | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers Phillip James, Markus Roggenbach (eds.) |
| title_fullStr | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers Phillip James, Markus Roggenbach (eds.) |
| title_full_unstemmed | Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers Phillip James, Markus Roggenbach (eds.) |
| title_short | Recent trends in algebraic development techniques |
| title_sort | recent trends in algebraic development techniques 23rd ifip wg 1 3 international workshop wadt 2016 gregynog uk september 21 24 2016 revised selected papers |
| title_sub | 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers |
| topic | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer simulation Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Foundations Formale Spezifikationstechnik (DE-588)4299725-2 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer simulation Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Foundations Formale Spezifikationstechnik Algebraische Spezifikation Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jamesphillip recenttrendsinalgebraicdevelopmenttechniques23rdifipwg13internationalworkshopwadt2016gregynogukseptember21242016revisedselectedpapers AT internationalfederationforinformationprocessing recenttrendsinalgebraicdevelopmenttechniques23rdifipwg13internationalworkshopwadt2016gregynogukseptember21242016revisedselectedpapers AT wadtgregynoghall recenttrendsinalgebraicdevelopmenttechniques23rdifipwg13internationalworkshopwadt2016gregynogukseptember21242016revisedselectedpapers |