Programming languages and systems: 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7792 : Advanced research in computing and software science |
| Subjects: | |
| Physical Description: | X, 620 S. graph. Darst. |
| ISBN: | 9783642370359 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040918990 | ||
| 003 | DE-604 | ||
| 005 | 20140228 | ||
| 007 | t| | ||
| 008 | 130328s2013 xx d||| |||| 10||| eng d | ||
| 020 | |a 9783642370359 |9 978-3-642-37035-9 | ||
| 035 | |a (OCoLC)842344581 | ||
| 035 | |a (DE-599)BVBBV040918990 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 005.1 | |
| 084 | |a DAT 350f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |c Matthias Felleisen ...(eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a X, 620 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 7792 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaresystem |0 (DE-588)4137282-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |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 2013 |z Rom |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | 2 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | 3 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 1 | 4 | |a Softwaresystem |0 (DE-588)4137282-7 |D s |
| 689 | 1 | 5 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Felleisen, Matthias |e Sonstige |4 oth | |
| 711 | 2 | |a ESOP |n 22 |d 2013 |c Rom |j Sonstige |0 (DE-588)1033699764 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-37036-6 |
| 830 | 0 | |a Lecture notes in computer science |v 7792 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 7792 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025898173 | |
Record in the Search Index
| _version_ | 1820875455014633472 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV040918990 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)842344581 (DE-599)BVBBV040918990 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| 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">BV040918990</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140228</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130328s2013 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642370359</subfield><subfield code="9">978-3-642-37035-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)842344581</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040918990</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="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</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">22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings</subfield><subfield code="c">Matthias Felleisen ...(eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 620 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">7792 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">2013</subfield><subfield code="z">Rom</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="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="5"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Felleisen, Matthias</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">22</subfield><subfield code="d">2013</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033699764</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-642-37036-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7792 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7792</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025898173</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content |
| genre_facet | Konferenzschrift 2013 Rom |
| id | DE-604.BV040918990 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:53Z |
| institution | BVB |
| institution_GND | (DE-588)1033699764 |
| isbn | 9783642370359 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025898173 |
| oclc_num | 842344581 |
| open_access_boolean | |
| owner | DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | X, 620 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) Berlin [u.a.] Springer 2013 X, 620 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7792 : Advanced research in computing and software science Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content Programmiersprache (DE-588)4047409-4 s Formale Methode (DE-588)4333722-3 s DE-604 Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Nebenläufigkeit (DE-588)4115352-2 s Programmierlogik (DE-588)4047408-2 s Softwaresystem (DE-588)4137282-7 s Model Checking (DE-588)4434799-6 s Felleisen, Matthias Sonstige oth ESOP 22 2013 Rom Sonstige (DE-588)1033699764 oth Erscheint auch als Online-Ausgabe 978-3-642-37036-6 Lecture notes in computer science 7792 : Advanced research in computing and software science (DE-604)BV000000607 7792 |
| spellingShingle | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Softwaresystem (DE-588)4137282-7 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4047408-2 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4137282-7 (DE-588)4135576-3 (DE-588)4115352-2 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| title_auth | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| title_exact_search | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| title_full | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) |
| title_fullStr | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) |
| title_full_unstemmed | Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings Matthias Felleisen ...(eds.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 22nd european symposium on programming esop 2013 held as part of the european joint conferences on theory and practice of software etaps 2013 rome italy march 16 24 2013 proceedings |
| title_sub | 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24 2013 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Softwaresystem (DE-588)4137282-7 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Methode Programmierlogik Programmanalyse Model Checking Softwaresystem Programmverifikation Nebenläufigkeit Programmiersprache Konferenzschrift 2013 Rom |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT felleisenmatthias programminglanguagesandsystems22ndeuropeansymposiumonprogrammingesop2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings AT esoprom programminglanguagesandsystems22ndeuropeansymposiumonprogrammingesop2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings |