Composability, comprehensibility and correctness of working software: 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Schriftenreihe: | Tutorial
11950 |
| Schlagworte: | |
| Beschreibung: | x, 391 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031428326 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049445018 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 231204s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031428326 |9 978-3-031-42832-6 | ||
| 035 | |a (OCoLC)1414556008 | ||
| 035 | |a (DE-599)BVBBV049445018 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.11 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Composability, comprehensibility and correctness of working software |b 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers |c Zoltán Porkoláb, Viktória Zsók, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a x, 391 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 |a Tutorial |v 11950 | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Compilers and Interpreters | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 4 | |a Computer science | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2019 |z Budapest |2 gnd-content | |
| 700 | 1 | |a Porkoláb, Zoltán |4 edt | |
| 700 | 1 | |a Zsók, Viktória |4 edt | |
| 711 | 2 | |a CEFP |n 8. |d 2019 |c Budapest |j Sonstige |0 (DE-588)1312076372 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-42833-3 |
| 830 | 0 | |a Tutorial |v 11950 |w (DE-604)BV000000607 |9 11950 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034790938 | |
Datensatz im Suchindex
| _version_ | 1820875837677764608 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Porkoláb, Zoltán Zsók, Viktória |
| author2_role | edt edt |
| author2_variant | z p zp v z vz |
| author_facet | Porkoláb, Zoltán Zsók, Viktória |
| building | Verbundindex |
| bvnumber | BV049445018 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1414556008 (DE-599)BVBBV049445018 |
| dewey-full | 005.11 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.11 |
| dewey-search | 005.11 |
| dewey-sort | 15.11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | 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">BV049445018</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">231204s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031428326</subfield><subfield code="9">978-3-031-42832-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1414556008</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049445018</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.11</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Composability, comprehensibility and correctness of working software</subfield><subfield code="b">8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers</subfield><subfield code="c">Zoltán Porkoláb, Viktória Zsók, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 391 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="a">Tutorial</subfield><subfield code="v">11950</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers and Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</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">Budapest</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Porkoláb, Zoltán</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zsók, Viktória</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CEFP</subfield><subfield code="n">8.</subfield><subfield code="d">2019</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1312076372</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-031-42833-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Tutorial</subfield><subfield code="v">11950</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11950</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034790938</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Budapest gnd-content |
| genre_facet | Konferenzschrift 2019 Budapest |
| id | DE-604.BV049445018 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:12:42Z |
| indexdate | 2025-01-10T15:21:59Z |
| institution | BVB |
| institution_GND | (DE-588)1312076372 |
| isbn | 9783031428326 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034790938 |
| oclc_num | 1414556008 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | x, 391 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Tutorial |
| series2 | Lecture notes in computer science Tutorial |
| spelling | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers Zoltán Porkoláb, Viktória Zsók, editors Cham Springer [2023] © 2023 x, 391 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Tutorial 11950 Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer programming Software engineering Compilers (Computer programs) Computer science (DE-588)1071861417 Konferenzschrift 2019 Budapest gnd-content Porkoláb, Zoltán edt Zsók, Viktória edt CEFP 8. 2019 Budapest Sonstige (DE-588)1312076372 oth Erscheint auch als Online-Ausgabe 978-3-031-42833-3 Tutorial 11950 (DE-604)BV000000607 11950 |
| spellingShingle | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers Tutorial Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer programming Software engineering Compilers (Computer programs) Computer science |
| subject_GND | (DE-588)1071861417 |
| title | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers |
| title_auth | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers |
| title_exact_search | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers |
| title_exact_search_txtP | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers |
| title_full | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers Zoltán Porkoláb, Viktória Zsók, editors |
| title_fullStr | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers Zoltán Porkoláb, Viktória Zsók, editors |
| title_full_unstemmed | Composability, comprehensibility and correctness of working software 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers Zoltán Porkoláb, Viktória Zsók, editors |
| title_short | Composability, comprehensibility and correctness of working software |
| title_sort | composability comprehensibility and correctness of working software 8th summer school cefp 2019 budapest hungary june 17 21 2019 revised selected papers |
| title_sub | 8th summer school, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers |
| topic | Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer programming Software engineering Compilers (Computer programs) Computer science |
| topic_facet | Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Computer programming Software engineering Compilers (Computer programs) Computer science Konferenzschrift 2019 Budapest |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT porkolabzoltan composabilitycomprehensibilityandcorrectnessofworkingsoftware8thsummerschoolcefp2019budapesthungaryjune17212019revisedselectedpapers AT zsokviktoria composabilitycomprehensibilityandcorrectnessofworkingsoftware8thsummerschoolcefp2019budapesthungaryjune17212019revisedselectedpapers AT cefpbudapest composabilitycomprehensibilityandcorrectnessofworkingsoftware8thsummerschoolcefp2019budapesthungaryjune17212019revisedselectedpapers |