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: | BTU01 FHM01 TUM01 UBA01 UBG01 UBM01 UBT01 UBY01 UPA01 UBR01 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 | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023298665 | ||
| 003 | DE-604 | ||
| 005 | 20100118 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 080514s2008 gw |||| o||u| ||||||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 SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 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 Prozessalgebra |0 (DE-588)4283920-8 |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 |
| 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 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 |
| 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 | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016483155 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l TUM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l UBA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-540-78739-6 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804137625704988672 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV023298665 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 350f |
| 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>03802nmm a2200793 cb4500</leader><controlfield tag="001">BV023298665</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100118 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080514s2008 gw |||| o||u| ||||||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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</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">004</subfield><subfield code="2">sdnb</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">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">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="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">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="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="999" ind1=" " 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">BTU01</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">FHM01</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">TUM01</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">UBA01</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">UBG01</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">UBM01</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">UBT01</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">UBY01</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">UPA01</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">UBR01</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 | Not Illustrated |
| index_date | 2024-07-02T20:45:40Z |
| indexdate | 2024-07-09T21:15:16Z |
| 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 Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Programmierlogik (DE-588)4047408-2 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 Prozessalgebra (DE-588)4283920-8 gnd Statische Analyse (DE-588)4325372-6 gnd Programmiersprache (DE-588)4047409-4 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Formale Sprache (DE-588)4017848-1 gnd Programmierlogik (DE-588)4047408-2 gnd |
| subject_GND | (DE-588)4283920-8 (DE-588)4325372-6 (DE-588)4047409-4 (DE-588)4076370-5 (DE-588)4621153-6 (DE-588)4017848-1 (DE-588)4047408-2 (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 | Prozessalgebra (DE-588)4283920-8 gnd Statische Analyse (DE-588)4325372-6 gnd Programmiersprache (DE-588)4047409-4 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Formale Sprache (DE-588)4017848-1 gnd Programmierlogik (DE-588)4047408-2 gnd |
| topic_facet | Prozessalgebra Statische Analyse Programmiersprache Programmierung Abstrakte Interpretation Formale Sprache Programmierlogik 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 |