Fundamental approaches to software engineering: 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer Open
[2019]
|
| Schriftenreihe: | Lecture notes in computer science
11424 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | xiii, 446 Seiten Diagramme |
| ISBN: | 9783030167219 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045679210 | ||
| 003 | DE-604 | ||
| 005 | 20200407 | ||
| 007 | t | ||
| 008 | 190430s2019 |||| |||| 10||| eng d | ||
| 020 | |a 9783030167219 |9 978-3-030-16721-9 | ||
| 035 | |a (OCoLC)1099845655 | ||
| 035 | |a (DE-599)BVBBV045679210 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 111 | 2 | |a FASE |n 22. |d 2019 |c Prag |j Verfasser |0 (DE-588)1184910766 |4 aut | |
| 245 | 1 | 0 | |a Fundamental approaches to software engineering |b 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings |c Reiner Hähnle, Wil van der Aalst (eds.) |
| 264 | 1 | |a Cham |b Springer Open |c [2019] | |
| 300 | |a xiii, 446 Seiten |b 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 11424 |a Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarewissenschaft |0 (DE-588)4502639-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2019 |z Prag |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | 1 | |a Softwarewissenschaft |0 (DE-588)4502639-7 |D s |
| 689 | 1 | 2 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 3 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Hähnle, Reiner |0 (DE-588)136037542 |4 edt | |
| 711 | 2 | |a ETAPS |n 22. |d 2019 |c Prag |0 (DE-588)1183926626 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-16722-6 |w (DE-604)BV045860453 |
| 830 | 0 | |a Lecture notes in computer science |v 11424 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 11424 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031062715 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804179746403123200 |
|---|---|
| any_adam_object | |
| author2 | Hähnle, Reiner |
| author2_role | edt |
| author2_variant | r h rh |
| author_GND | (DE-588)136037542 |
| author_corporate | FASE Prag |
| author_corporate_role | aut |
| author_facet | Hähnle, Reiner FASE Prag |
| author_sort | FASE Prag |
| building | Verbundindex |
| bvnumber | BV045679210 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1099845655 (DE-599)BVBBV045679210 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02338nam a2200493zcb4500</leader><controlfield tag="001">BV045679210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200407 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">190430s2019 |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030167219</subfield><subfield code="9">978-3-030-16721-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1099845655</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045679210</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="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FASE</subfield><subfield code="n">22.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1184910766</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamental approaches to software engineering</subfield><subfield code="b">22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings</subfield><subfield code="c">Reiner Hähnle, Wil van der Aalst (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Open</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 446 Seiten</subfield><subfield code="b">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">11424</subfield><subfield code="a">Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</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">2019</subfield><subfield code="z">Prag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hähnle, Reiner</subfield><subfield code="0">(DE-588)136037542</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">22.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="0">(DE-588)1183926626</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-030-16722-6</subfield><subfield code="w">(DE-604)BV045860453</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11424 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11424</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031062715</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 2019 Prag gnd-content |
| genre_facet | Konferenzschrift 2019 Prag |
| id | DE-604.BV045679210 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:24:46Z |
| institution | BVB |
| institution_GND | (DE-588)1184910766 (DE-588)1183926626 |
| isbn | 9783030167219 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031062715 |
| oclc_num | 1099845655 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiii, 446 Seiten Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer Open |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | FASE 22. 2019 Prag Verfasser (DE-588)1184910766 aut Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings Reiner Hähnle, Wil van der Aalst (eds.) Cham Springer Open [2019] xiii, 446 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11424 Advanced research in computing and software science Programmiersprache (DE-588)4047409-4 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Softwarewissenschaft (DE-588)4502639-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2019 Prag gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Softwarewissenschaft (DE-588)4502639-7 s Programmiersprache (DE-588)4047409-4 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Hähnle, Reiner (DE-588)136037542 edt ETAPS 22. 2019 Prag (DE-588)1183926626 oth Erscheint auch als Online-Ausgabe 978-3-030-16722-6 (DE-604)BV045860453 Lecture notes in computer science 11424 : Advanced research in computing and software science (DE-604)BV000000607 11424 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings Lecture notes in computer science Programmiersprache (DE-588)4047409-4 gnd Software Engineering (DE-588)4116521-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Softwarewissenschaft (DE-588)4502639-7 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)4116521-4 (DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4502639-7 (DE-588)1071861417 |
| title | Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings |
| title_auth | Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings |
| title_exact_search | Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings |
| title_full | Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings Reiner Hähnle, Wil van der Aalst (eds.) |
| title_fullStr | Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings Reiner Hähnle, Wil van der Aalst (eds.) |
| title_full_unstemmed | Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings Reiner Hähnle, Wil van der Aalst (eds.) |
| title_short | Fundamental approaches to software engineering |
| title_sort | fundamental approaches to software engineering 22nd international conference fase 2019 held as part of the european joint conferences on theory and practice of software etaps 2019 prague czech republic april 6 11 2019l proceedings |
| title_sub | 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings |
| topic | Programmiersprache (DE-588)4047409-4 gnd Software Engineering (DE-588)4116521-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Softwarewissenschaft (DE-588)4502639-7 gnd |
| topic_facet | Programmiersprache Software Engineering Theoretische Informatik Mathematische Logik Softwarewissenschaft Konferenzschrift 2019 Prag |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT faseprag fundamentalapproachestosoftwareengineering22ndinternationalconferencefase2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019lproceedings AT hahnlereiner fundamentalapproachestosoftwareengineering22ndinternationalconferencefase2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019lproceedings AT etapsprag fundamentalapproachestosoftwareengineering22ndinternationalconferencefase2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019lproceedings |