Tools and algorithms for the construction and analysis of systems: 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
... |
| Schlagworte: |
Internformat
MARC
| LEADER | 00000nam a2200000 ca4500 | ||
|---|---|---|---|
| 001 | BV044286639 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 170427s2017 xx |||| 10||| eng d | ||
| 035 | |a (DE-599)BVBBV044286639 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 111 | 2 | |a TACAS |n 23. |d 2017 |c Uppsala |j Verfasser |0 (DE-588)1130333183 |4 aut | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |c Axel Legay, Tiziana Margaria (eds.) |
| 264 | 1 | |a Berlin |b Springer |c [2017] | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in computer science |v ... | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidungsverfahren |0 (DE-588)4637781-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |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 Systemanalyse |0 (DE-588)4116673-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 |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | 2 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 3 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 4 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 5 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | 6 | |a Entscheidungsverfahren |0 (DE-588)4637781-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | 2 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Legay, Axel |4 edt | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029690860 | |
Datensatz im Suchindex
| _version_ | 1820875693682065408 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Legay, Axel |
| author2_role | edt |
| author2_variant | a l al |
| author_corporate | TACAS Uppsala |
| author_corporate_role | aut |
| author_facet | Legay, Axel TACAS Uppsala |
| author_sort | TACAS Uppsala |
| building | Verbundindex |
| bvnumber | BV044286639 |
| classification_rvk | SS 4800 |
| ctrlnum | (DE-599)BVBBV044286639 |
| 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 ca4500</leader><controlfield tag="001">BV044286639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170427s2017 xx |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044286639</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="111" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">23.</subfield><subfield code="d">2017</subfield><subfield code="c">Uppsala</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1130333183</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and algorithms for the construction and analysis of systems</subfield><subfield code="b">23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings</subfield><subfield code="c">Axel Legay, Tiziana Margaria (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</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="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">...</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">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</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">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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="6"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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="2"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-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">Legay, Axel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029690860</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044286639 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:42Z |
| institution | BVB |
| institution_GND | (DE-588)1130333183 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029690860 |
| open_access_boolean | |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series2 | Lecture notes in computer science |
| spelling | TACAS 23. 2017 Uppsala Verfasser (DE-588)1130333183 aut Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Axel Legay, Tiziana Margaria (eds.) Berlin Springer [2017] txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science ... Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s Systemanalyse (DE-588)4116673-5 s Programmverifikation (DE-588)4135576-3 s Hardwareverifikation (DE-588)4214982-4 s Model Checking (DE-588)4434799-6 s Entscheidungsverfahren (DE-588)4637781-5 s DE-604 Programmiersprache (DE-588)4047409-4 s Programmierung (DE-588)4076370-5 s Theoretische Informatik (DE-588)4196735-5 s Legay, Axel edt |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Theoretische Informatik (DE-588)4196735-5 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Hardwareverifikation (DE-588)4214982-4 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Systemanalyse (DE-588)4116673-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4637781-5 (DE-588)4135576-3 (DE-588)4076370-5 (DE-588)4116522-6 (DE-588)4214982-4 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)4116673-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Axel Legay, Tiziana Margaria (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Axel Legay, Tiziana Margaria (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Axel Legay, Tiziana Margaria (eds.) |
| title_short | Tools and algorithms for the construction and analysis of systems |
| title_sort | tools and algorithms for the construction and analysis of systems 23rd international conference tacas 2017 held as part of the european joint conferences on theory and practice of software etaps 2017 uppsala sweden april 22 29 2017 proceedings |
| title_sub | 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Hardwareverifikation (DE-588)4214982-4 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Systemanalyse (DE-588)4116673-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Theoretische Informatik Entscheidungsverfahren Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Systemanalyse Programmiersprache Konferenzschrift |
| work_keys_str_mv | AT tacasuppsala toolsandalgorithmsfortheconstructionandanalysisofsystems23rdinternationalconferencetacas2017heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2017uppsalaswedenapril22292017proceedings AT legayaxel toolsandalgorithmsfortheconstructionandanalysisofsystems23rdinternationalconferencetacas2017heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2017uppsalaswedenapril22292017proceedings |