Foundations of software science and computation structures: 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2015
|
| Series: | Lecture notes in computer science
9034 : Advanced research in computing and software science |
| Subjects: | |
| Physical Description: | XV, 465 S. Ill., graph. Darst. |
| ISBN: | 9783662466773 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042510214 | ||
| 003 | DE-604 | ||
| 005 | 20150421 | ||
| 007 | t| | ||
| 008 | 150417s2015 xx ad|| |||| 10||| eng d | ||
| 020 | |a 9783662466773 |9 978-3-662-46677-3 | ||
| 035 | |a (OCoLC)910594499 | ||
| 035 | |a (DE-599)BVBBV042510214 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-11 | ||
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings |c Andrew Pitts (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2015 | |
| 300 | |a XV, 465 S. |b Ill., 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 9034 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarewissenschaft |0 (DE-588)4502639-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |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 2015 |z London |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Softwarewissenschaft |0 (DE-588)4502639-7 |D s |
| 689 | 0 | 2 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 3 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Pitts, Andrew M. |d 1956- |e Sonstige |0 (DE-588)1069892432 |4 oth | |
| 711 | 2 | |a FOSSACS |n 18. |d 2015 |c London |j Sonstige |0 (DE-588)1069892556 |4 oth | |
| 711 | 2 | |a ETAPS |n 18. |d 2015 |c London |j Sonstige |0 (DE-588)1069717312 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-46678-0 |
| 830 | 0 | |a Lecture notes in computer science |v 9034 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 9034 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027944747 | |
Record in the Search Index
| _version_ | 1820875659881218048 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1069892432 |
| building | Verbundindex |
| bvnumber | BV042510214 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)910594499 (DE-599)BVBBV042510214 |
| 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">BV042510214</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150421</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">150417s2015 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662466773</subfield><subfield code="9">978-3-662-46677-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)910594499</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042510214</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computation structures</subfield><subfield code="b">18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings</subfield><subfield code="c">Andrew Pitts (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 465 S.</subfield><subfield code="b">Ill., 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">9034 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</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">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">2015</subfield><subfield code="z">London</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="3"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Pitts, Andrew M.</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1069892432</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">18.</subfield><subfield code="d">2015</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1069892556</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">18.</subfield><subfield code="d">2015</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1069717312</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-662-46678-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9034 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9034</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027944747</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 London gnd-content |
| genre_facet | Konferenzschrift 2015 London |
| id | DE-604.BV042510214 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:09Z |
| institution | BVB |
| institution_GND | (DE-588)1069892556 (DE-588)1069717312 |
| isbn | 9783662466773 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027944747 |
| oclc_num | 910594499 |
| open_access_boolean | |
| owner | DE-83 DE-11 |
| owner_facet | DE-83 DE-11 |
| physical | XV, 465 S. Ill., graph. Darst. |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings Andrew Pitts (ed.) Berlin [u.a.] Springer 2015 XV, 465 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9034 : Advanced research in computing and software science Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Softwarewissenschaft (DE-588)4502639-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 London gnd-content Theoretische Informatik (DE-588)4196735-5 s Softwarewissenschaft (DE-588)4502639-7 s Programmiersprache (DE-588)4047409-4 s Mathematische Logik (DE-588)4037951-6 s DE-604 Software Engineering (DE-588)4116521-4 s Programmierung (DE-588)4076370-5 s Pitts, Andrew M. 1956- Sonstige (DE-588)1069892432 oth FOSSACS 18. 2015 London Sonstige (DE-588)1069892556 oth ETAPS 18. 2015 London Sonstige (DE-588)1069717312 oth Erscheint auch als Online-Ausgabe 978-3-662-46678-0 Lecture notes in computer science 9034 : Advanced research in computing and software science (DE-604)BV000000607 9034 |
| spellingShingle | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4116521-4 (DE-588)4502639-7 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings |
| title_auth | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings |
| title_exact_search | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings |
| title_full | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings Andrew Pitts (ed.) |
| title_fullStr | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings Andrew Pitts (ed.) |
| title_full_unstemmed | Foundations of software science and computation structures 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings Andrew Pitts (ed.) |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 18th international conference fossacs 2015 held as part of the european joint conferences on theory and practice of software etaps 2015 london uk april 11 18 2015 proceedings |
| title_sub | 18th international conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11 - 18, 2015 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Theoretische Informatik Mathematische Logik Software Engineering Softwarewissenschaft Programmierung Programmiersprache Konferenzschrift 2015 London |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pittsandrewm foundationsofsoftwarescienceandcomputationstructures18thinternationalconferencefossacs2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings AT fossacslondon foundationsofsoftwarescienceandcomputationstructures18thinternationalconferencefossacs2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings AT etapslondon foundationsofsoftwarescienceandcomputationstructures18thinternationalconferencefossacs2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings |