Static analysis: 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2017]
|
| Series: | Lecture notes in computer science
10422 : Advanced research in computing and software science |
| Subjects: | |
| Physical Description: | XIV, 472 Seiten Diagramme. - Lecture notes in computer science |
| ISBN: | 9783319667058 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044482893 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 170911s2017 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319667058 |9 978-3-319-66705-8 | ||
| 035 | |a (OCoLC)1004315218 | ||
| 035 | |a (DE-599)BVBBV044482893 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 111 | 2 | |a SAS |n 24. |d 2017 |c New York, NY |j Verfasser |0 (DE-588)1139661272 |4 aut | |
| 245 | 1 | 0 | |a Static analysis |b 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings |c Francesco Ranzato (ed.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a XIV, 472 Seiten |b Diagramme. - Lecture notes in computer science | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10422 |a Advanced research in computing and software science | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ranzato, Francesco |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-66706-5 |
| 830 | 0 | |a Lecture notes in computer science |v 10422 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 10422 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029883052 | |
Record in the Search Index
| _version_ | 1820875696125247488 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Ranzato, Francesco |
| author2_role | edt |
| author2_variant | f r fr |
| author_corporate | SAS New York, NY |
| author_corporate_role | aut |
| author_facet | Ranzato, Francesco SAS New York, NY |
| author_sort | SAS New York, NY |
| building | Verbundindex |
| bvnumber | BV044482893 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1004315218 (DE-599)BVBBV044482893 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| 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 a2200000zcb4500</leader><controlfield tag="001">BV044482893</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170911s2017 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319667058</subfield><subfield code="9">978-3-319-66705-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1004315218</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044482893</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">24.</subfield><subfield code="d">2017</subfield><subfield code="c">New York, NY</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1139661272</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis</subfield><subfield code="b">24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings</subfield><subfield code="c">Francesco Ranzato (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 472 Seiten</subfield><subfield code="b">Diagramme. - Lecture notes in computer science</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">10422</subfield><subfield code="a">Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ranzato, Francesco</subfield><subfield code="4">edt</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-319-66706-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10422 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10422</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029883052</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044482893 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:44Z |
| institution | BVB |
| institution_GND | (DE-588)1139661272 |
| isbn | 9783319667058 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029883052 |
| oclc_num | 1004315218 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XIV, 472 Seiten Diagramme. - Lecture notes in computer science |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | SAS 24. 2017 New York, NY Verfasser (DE-588)1139661272 aut Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings Francesco Ranzato (ed.) Cham Springer [2017] XIV, 472 Seiten Diagramme. - Lecture notes in computer science txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10422 Advanced research in computing and software science Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Ranzato, Francesco edt Erscheint auch als Online-Ausgabe 978-3-319-66706-5 Lecture notes in computer science 10422 : Advanced research in computing and software science (DE-604)BV000000607 10422 |
| spellingShingle | Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings Lecture notes in computer science Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik Statische Analyse (DE-588)4325372-6 gnd |
| subject_GND | (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings |
| title_auth | Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings |
| title_exact_search | Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings |
| title_full | Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings Francesco Ranzato (ed.) |
| title_fullStr | Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings Francesco Ranzato (ed.) |
| title_full_unstemmed | Static analysis 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings Francesco Ranzato (ed.) |
| title_short | Static analysis |
| title_sort | static analysis 24th international symposium sas 2017 new york ny usa august 30 september 1 2017 proceedings |
| title_sub | 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017 : proceedings |
| topic | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik Statische Analyse Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sasnewyorkny staticanalysis24thinternationalsymposiumsas2017newyorknyusaaugust30september12017proceedings AT ranzatofrancesco staticanalysis24thinternationalsymposiumsas2017newyorknyusaaugust30september12017proceedings |