Recent trends in algebraic development techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2015
|
| Edition: | 1st ed. |
| Series: | Lecture Notes in Computer Science
9463 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | XI, 171 Seiten Illustrationen |
| ISBN: | 9783319281148 9783319281131 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-28114-8 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043309620 | ||
| 003 | DE-604 | ||
| 005 | 20181009 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160125s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319281148 |c Online |9 978-3-319-28114-8 | ||
| 020 | |a 9783319281131 |c Print |9 978-3-319-28113-1 | ||
| 024 | 7 | |a 10.1007/978-3-319-28114-8 |2 doi | |
| 035 | |a (OCoLC)935176716 | ||
| 035 | |a (DE-599)BVBBV043309620 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-Aug4 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a WADT |n 22. |d 2014 |c Sinaia |j Verfasser |0 (DE-588)1081695684 |4 aut | |
| 245 | 1 | 0 | |a Recent trends in algebraic development techniques |b 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers |c edited by Mihai Codescu, Răzvan Diaconescu, Ionuţ Ţuţu |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XI, 171 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9463 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 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 |y 04.09.2014-07.09.2014 |z Sinaia |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 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Codescu, Mihai |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9463 |w (DE-604)BV014880109 |9 9463 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-28114-8 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028730309 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804175846649364480 |
|---|---|
| adam_text | RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ON LOGIC EMBEDDINGS AND GOEDEL’S GOD
AN INSTITUTIONAL FOUNDATION FOR THE K SEMANTIC FRAMEWORK
A THEORETICAL FOUNDATION FOR PROGRAMMING LANGUAGES AGGREGATION
COALGEBRAIC SEMANTICS OF HEAVY-WEIGHTED AUTOMATA
FOUNDATIONS OF LOGIC PROGRAMMING IN HYBRIDISED LOGICS
WHAT IS A DERIVED SIGNATURE MORPHISM?
USE CASE ANALYSIS BASED ON FORMAL METHODS: AN EMPIRICAL STUDY
A FULL OPERATIONAL SEMANTICS FOR ASYNCHRONOUS RELATIONAL NETWORKS
A SOC-BASED FORMAL SPECIFICATION AND VERIFICATION OF HYBRID SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-CONFERENCE
PROCEEDINGS OF THE 22ND INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT
TECHNIQUES, WADT 2014, HELD IN SEPTEMBER 2014 IN SINAIA, ROMANIA. THE 8
REVISED PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 13
PRESENTATIONS AND FOCUS TOGETHER WITH ONE INVITED PAPER ON FOUNDATIONS
OF ALGEBRAIC SPECIFICATION, APPROACHES TO FORMAL SPECIFICATION INCLUDING
PROCESS CALCULI AND MODELS OF CONCURRENT, DISTRIBUTED AND MOBILE
COMPUTING, SPECIFICATION LANGUAGES, METHODS, AND ENVIRONMENTS, SEMANTICS
OF CONCEPTUAL MODELING METHODS AND TECHNIQUES, MODEL-DRIVEN DEVELOPMENT,
GRAPH TRANSFORMATIONS, TERM REWRITING AND PROOF SYSTEMS, INTEGRATION OF
FORMAL SPECIFICATION TECHNIQUES, FORMAL TESTING AND QUALITY ASSURANCE,
VALIDATION, AND VERIFICATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Codescu, Mihai |
| author2_role | edt |
| author2_variant | m c mc |
| author_corporate | WADT Sinaia |
| author_corporate_role | aut |
| author_facet | Codescu, Mihai WADT Sinaia |
| author_sort | WADT Sinaia |
| building | Verbundindex |
| bvnumber | BV043309620 |
| classification_tum | DAT 510f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)935176716 (DE-599)BVBBV043309620 |
| 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-28114-8 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03382nmm a2200745zcb4500</leader><controlfield tag="001">BV043309620</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181009 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160125s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319281148</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-28114-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319281131</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-28113-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-28114-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)935176716</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043309620</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</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-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">WADT</subfield><subfield code="n">22.</subfield><subfield code="d">2014</subfield><subfield code="c">Sinaia</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1081695684</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in algebraic development techniques</subfield><subfield code="b">22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers</subfield><subfield code="c">edited by Mihai Codescu, Răzvan Diaconescu, Ionuţ Ţuţu</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 171 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">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">9463</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">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 / Mathematics</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">Mathematics of Computing</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 Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="y">04.09.2014-07.09.2014</subfield><subfield code="z">Sinaia</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Codescu, Mihai</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9463</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9463</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-28114-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028730309</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></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 04.09.2014-07.09.2014 Sinaia gnd-content |
| genre_facet | Konferenzschrift 04.09.2014-07.09.2014 Sinaia |
| id | DE-604.BV043309620 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:22:47Z |
| institution | BVB |
| institution_GND | (DE-588)1081695684 |
| isbn | 9783319281148 9783319281131 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028730309 |
| oclc_num | 935176716 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XI, 171 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | WADT 22. 2014 Sinaia Verfasser (DE-588)1081695684 aut Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers edited by Mihai Codescu, Răzvan Diaconescu, Ionuţ Ţuţu 1st ed. Cham Springer International Publishing 2015 © 2015 XI, 171 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9463 0302-9743 Computer science Software engineering Computers Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering Computation by Abstract Devices Mathematical Logic and Foundations Informatik Mathematik Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 04.09.2014-07.09.2014 Sinaia gnd-content Algebraische Spezifikation (DE-588)4207192-6 s Formale Spezifikationstechnik (DE-588)4299725-2 s 1\p DE-604 DE-604 Codescu, Mihai edt Lecture Notes in Computer Science 9463 (DE-604)BV014880109 9463 https://doi.org/10.1007/978-3-319-28114-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers Lecture Notes in Computer Science Computer science Software engineering Computers Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering Computation by Abstract Devices Mathematical Logic and Foundations Informatik Mathematik 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 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers |
| title_auth | Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers |
| title_exact_search | Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers |
| title_full | Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers edited by Mihai Codescu, Răzvan Diaconescu, Ionuţ Ţuţu |
| title_fullStr | Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers edited by Mihai Codescu, Răzvan Diaconescu, Ionuţ Ţuţu |
| title_full_unstemmed | Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers edited by Mihai Codescu, Răzvan Diaconescu, Ionuţ Ţuţu |
| title_short | Recent trends in algebraic development techniques |
| title_sort | recent trends in algebraic development techniques 22nd international workshop wadt 2014 sinaia romania september 4 7 2014 revised selected papers |
| title_sub | 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers |
| topic | Computer science Software engineering Computers Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering Computation by Abstract Devices Mathematical Logic and Foundations Informatik Mathematik Formale Spezifikationstechnik (DE-588)4299725-2 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Computer science Software engineering Computers Computer logic Mathematical logic Computer science / Mathematics Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering Computation by Abstract Devices Mathematical Logic and Foundations Informatik Mathematik Formale Spezifikationstechnik Algebraische Spezifikation Konferenzschrift 04.09.2014-07.09.2014 Sinaia |
| url | https://doi.org/10.1007/978-3-319-28114-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028730309&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT wadtsinaia recenttrendsinalgebraicdevelopmenttechniques22ndinternationalworkshopwadt2014sinaiaromaniaseptember472014revisedselectedpapers AT codescumihai recenttrendsinalgebraicdevelopmenttechniques22ndinternationalworkshopwadt2014sinaiaromaniaseptember472014revisedselectedpapers |