Recent trends in algebraic development techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2017]
|
| Series: | Lecture notes in computer science
10644 |
| Subjects: | |
| Physical Description: | X, 222 Seiten Illustrationen |
| ISBN: | 9783319720432 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044707759 | ||
| 003 | DE-604 | ||
| 005 | 20190731 | ||
| 007 | t| | ||
| 008 | 180110s2017 xx 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 | |
| 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 Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030104351 | |
Record in the Search Index
| _version_ | 1820875713256882176 |
|---|---|
| adam_text | |
| 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>00000nam a2200000zcb4500</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 xx 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="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">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="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="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="943" ind1="1" 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 | 2025-01-10T15:20:01Z |
| 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 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 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 Algebraische Spezifikation (DE-588)4207192-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4299725-2 (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 Algebraische Spezifikation (DE-588)4207192-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 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 Algebraische Spezifikation Formale Spezifikationstechnik Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jamesphillip recenttrendsinalgebraicdevelopmenttechniques23rdifipwg13internationalworkshopwadt2016gregynogukseptember21242016revisedselectedpapers AT internationalfederationforinformationprocessing recenttrendsinalgebraicdevelopmenttechniques23rdifipwg13internationalworkshopwadt2016gregynogukseptember21242016revisedselectedpapers AT wadtgregynoghall recenttrendsinalgebraicdevelopmenttechniques23rdifipwg13internationalworkshopwadt2016gregynogukseptember21242016revisedselectedpapers |