Programming languages and systems: 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture Notes in Computer Science
4960 |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-703 DE-706 DE-739 DE-355 Volltext |
| Beschreibung: | 1 Online-Ressource (XIII, 397 S.) graph. Darst. |
| ISBN: | 3540787380 9783540787389 9783540787396 |
| DOI: | 10.1007/978-3-540-78739-6 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023298665 | ||
| 003 | DE-604 | ||
| 005 | 20100118 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 080514s2008 gw d||| o|||| 10||| eng d | ||
| 020 | |a 3540787380 |9 3-540-78738-0 | ||
| 020 | |a 9783540787389 |9 978-3-540-78738-9 | ||
| 020 | |a 9783540787396 |c Online |9 978-3-540-78739-6 | ||
| 024 | 7 | |a 10.1007/978-3-540-78739-6 |2 doi | |
| 035 | |a (OCoLC)873496756 | ||
| 035 | |a (DE-599)BVBBV023298665 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-19 |a DE-739 |a DE-473 |a DE-706 |a DE-91 |a DE-384 |a DE-M347 |a DE-703 |a DE-634 |a DE-355 | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |c Sophia Drossopoulou (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a 1 Online-Ressource (XIII, 397 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 4960 | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Budapest |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | 1 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 2 | 2 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | 1 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 3 | 2 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Drossopoulou, Sophia |e Sonstige |4 oth | |
| 711 | 2 | |a ESOP |n 17 |d 2008 |c Budapest |j Sonstige |0 (DE-588)6520080-9 |4 oth | |
| 711 | 2 | |a ETAPS |n 11 |d 2008 |c Budapest |j Sonstige |0 (DE-588)6071240-5 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4960 |w (DE-604)BV014880109 |9 4960 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-540-78739-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016483155 | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-91 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-384 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-703 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-706 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875036317188096 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV023298665 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f DAT 000 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)873496756 (DE-599)BVBBV023298665 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-540-78739-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV023298665</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100118</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080514s2008 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540787380</subfield><subfield code="9">3-540-78738-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540787389</subfield><subfield code="9">978-3-540-78738-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540787396</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-78739-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-78739-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)873496756</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023298665</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</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="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings</subfield><subfield code="c">Sophia Drossopoulou (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 397 S.)</subfield><subfield code="b">graph. Darst.</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">4960</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Budapest</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Drossopoulou, Sophia</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">17</subfield><subfield code="d">2008</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6520080-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">11</subfield><subfield code="d">2008</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6071240-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4960</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4960</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016483155</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-78739-6</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Budapest gnd-content |
| genre_facet | Konferenzschrift 2008 Budapest |
| id | DE-604.BV023298665 |
| illustrated | Illustrated |
| index_date | 2024-07-02T20:45:40Z |
| indexdate | 2025-01-10T15:09:15Z |
| institution | BVB |
| institution_GND | (DE-588)6520080-9 (DE-588)6071240-5 |
| isbn | 3540787380 9783540787389 9783540787396 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016483155 |
| oclc_num | 873496756 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-739 DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-384 DE-M347 DE-703 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-19 DE-BY-UBM DE-739 DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-384 DE-M347 DE-703 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIII, 397 S.) graph. Darst. |
| psigel | ZDB-2-SCS |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings Sophia Drossopoulou (ed.) Berlin [u.a.] Springer 2008 1 Online-Ressource (XIII, 397 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 4960 Formale Sprache (DE-588)4017848-1 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Budapest gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Formale Sprache (DE-588)4017848-1 s Programmierung (DE-588)4076370-5 s Statische Analyse (DE-588)4325372-6 s Abstrakte Interpretation (DE-588)4621153-6 s Prozessalgebra (DE-588)4283920-8 s Programmierlogik (DE-588)4047408-2 s Drossopoulou, Sophia Sonstige oth ESOP 17 2008 Budapest Sonstige (DE-588)6520080-9 oth ETAPS 11 2008 Budapest Sonstige (DE-588)6071240-5 oth Lecture Notes in Computer Science 4960 (DE-604)BV014880109 4960 https://doi.org/10.1007/978-3-540-78739-6 Verlag Volltext |
| spellingShingle | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings Lecture Notes in Computer Science Formale Sprache (DE-588)4017848-1 gnd Programmierlogik (DE-588)4047408-2 gnd Prozessalgebra (DE-588)4283920-8 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Statische Analyse (DE-588)4325372-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4047408-2 (DE-588)4283920-8 (DE-588)4076370-5 (DE-588)4621153-6 (DE-588)4325372-6 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_auth | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_exact_search | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_exact_search_txtP | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_full | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings Sophia Drossopoulou (ed.) |
| title_fullStr | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings Sophia Drossopoulou (ed.) |
| title_full_unstemmed | Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings Sophia Drossopoulou (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 17th european symposium on programming esop 2008 held as part of the joint european conferences on theory and practics of software etaps 2008 budapest hungary march 29 april 6 2008 proceedings |
| title_sub | 17th European Symposium on Programming, ESOP 2008, held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| topic | Formale Sprache (DE-588)4017848-1 gnd Programmierlogik (DE-588)4047408-2 gnd Prozessalgebra (DE-588)4283920-8 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Statische Analyse (DE-588)4325372-6 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Sprache Programmierlogik Prozessalgebra Programmierung Abstrakte Interpretation Statische Analyse Programmiersprache Konferenzschrift 2008 Budapest |
| url | https://doi.org/10.1007/978-3-540-78739-6 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT drossopoulousophia programminglanguagesandsystems17theuropeansymposiumonprogrammingesop2008heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2008budapesthungarymarch29april62008proceedings AT esopbudapest programminglanguagesandsystems17theuropeansymposiumonprogrammingesop2008heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2008budapesthungarymarch29april62008proceedings AT etapsbudapest programminglanguagesandsystems17theuropeansymposiumonprogrammingesop2008heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2008budapesthungarymarch29april62008proceedings |