Programming languages and systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
| Schriftenreihe: | Lecture Notes in Computer Science
4421 |
| Schlagworte: | |
| Beschreibung: | XVII, 538 S. graph. Darst. |
| ISBN: | 9783540713142 354071314X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022398869 | ||
| 003 | DE-604 | ||
| 005 | 20170306 | ||
| 007 | t | ||
| 008 | 070424s2007 gw d||| |||| 10||| eng d | ||
| 015 | |a 07,N14,0104 |2 dnb | ||
| 016 | 7 | |a 983416885 |2 DE-101 | |
| 020 | |a 9783540713142 |c : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.) |9 978-3-540-71314-2 | ||
| 020 | |a 354071314X |c : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.) |9 3-540-71314-X | ||
| 024 | 3 | |a 9783540713142 | |
| 028 | 5 | 2 | |a 12032907 |
| 035 | |a (OCoLC)633453030 | ||
| 035 | |a (DE-599)DNB983416885 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.13 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |c Rocco De Nicola (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a XVII, 538 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 4421 | |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |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 Programmierlogik |0 (DE-588)4047408-2 |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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Braga |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 DeNicola, Rocco |4 edt | |
| 711 | 2 | |a ESOP |n 16 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063711-0 |4 oth | |
| 711 | 2 | |a ETAPS |n 10 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063710-9 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4421 |w (DE-604)BV000000607 |9 4421 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015607567 | ||
Datensatz im Suchindex
| _version_ | 1804136459804868608 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | DeNicola, Rocco |
| author2_role | edt |
| author2_variant | r d rd |
| author_facet | DeNicola, Rocco |
| building | Verbundindex |
| bvnumber | BV022398869 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)633453030 (DE-599)DNB983416885 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| 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>02735nam a2200661 cb4500</leader><controlfield tag="001">BV022398869</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170306 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070424s2007 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N14,0104</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983416885</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540713142</subfield><subfield code="c">: EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)</subfield><subfield code="9">978-3-540-71314-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354071314X</subfield><subfield code="c">: EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)</subfield><subfield code="9">3-540-71314-X</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540713142</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12032907</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633453030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB983416885</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22/ger</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 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">16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings</subfield><subfield code="c">Rocco De Nicola (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 538 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">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">4421</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">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">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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Braga</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">DeNicola, Rocco</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">16</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063711-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">10</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063710-9</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">4421</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4421</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015607567</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2007 Braga gnd-content |
| genre_facet | Konferenzschrift 2007 Braga |
| id | DE-604.BV022398869 |
| illustrated | Illustrated |
| index_date | 2024-07-02T17:17:35Z |
| indexdate | 2024-07-09T20:56:44Z |
| institution | BVB |
| institution_GND | (DE-588)6063711-0 (DE-588)6063710-9 |
| isbn | 9783540713142 354071314X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015607567 |
| oclc_num | 633453030 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XVII, 538 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) Berlin [u.a.] Springer 2007 XVII, 538 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4421 Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf Programmierlogik (DE-588)4047408-2 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 (DE-588)1071861417 Konferenzschrift 2007 Braga 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 DeNicola, Rocco edt ESOP 16 2007 Braga Sonstige (DE-588)6063711-0 oth ETAPS 10 2007 Braga Sonstige (DE-588)6063710-9 oth Lecture Notes in Computer Science 4421 (DE-604)BV000000607 4421 |
| spellingShingle | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Lecture Notes in Computer Science Prozessalgebra (DE-588)4283920-8 gnd Programmiersprache (DE-588)4047409-4 gnd Statische Analyse (DE-588)4325372-6 gnd Programmierlogik (DE-588)4047408-2 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4283920-8 (DE-588)4047409-4 (DE-588)4325372-6 (DE-588)4047408-2 (DE-588)4076370-5 (DE-588)4621153-6 (DE-588)4017848-1 (DE-588)1071861417 |
| title | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_auth | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_exact_search | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_exact_search_txtP | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_full | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) |
| title_fullStr | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) |
| title_full_unstemmed | Programming languages and systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Rocco De Nicola (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 16th european symposium on programming esop 2007 held as part of the joint european conferences on theory and practics of software etaps 2007 braga portugal march 24 april 1 2007 proceedings |
| title_sub | 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| topic | Prozessalgebra (DE-588)4283920-8 gnd Programmiersprache (DE-588)4047409-4 gnd Statische Analyse (DE-588)4325372-6 gnd Programmierlogik (DE-588)4047408-2 gnd Programmierung (DE-588)4076370-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Prozessalgebra Programmiersprache Statische Analyse Programmierlogik Programmierung Abstrakte Interpretation Formale Sprache Konferenzschrift 2007 Braga |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT denicolarocco programminglanguagesandsystems16theuropeansymposiumonprogrammingesop2007heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT esopbraga programminglanguagesandsystems16theuropeansymposiumonprogrammingesop2007heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT etapsbraga programminglanguagesandsystems16theuropeansymposiumonprogrammingesop2007heldaspartofthejointeuropeanconferencesontheoryandpracticsofsoftwareetaps2007bragaportugalmarch24april12007proceedings |