Tools and algorithms for the construction and analysis of systems: 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 1
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
[2018]
|
| Schriftenreihe: | Lecture notes in computer science
10805 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | XX, 429 Seiten Diagramme |
| ISBN: | 9783319899596 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV044922562 | ||
| 003 | DE-604 | ||
| 005 | 20180427 | ||
| 007 | t | ||
| 008 | 180426s2018 |||| |||| 10||| eng d | ||
| 020 | |a 9783319899596 |9 978-3-319-89959-6 | ||
| 035 | |a (OCoLC)1033635819 | ||
| 035 | |a (DE-599)BVBBV044922562 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a TACAS |n 24. |d 2018 |c Thessaloniki |j Verfasser |0 (DE-588)1156789095 |4 aut | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings |n Part 1 |c Dirk Beyer, Marieke Huisman (eds.) |
| 264 | 1 | |a Berlin |b Springer |c [2018] | |
| 300 | |a XX, 429 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10805 |a Advanced research in computing and software science | |
| 490 | 0 | |a Lecture notes in computer science |v ... | |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidungsverfahren |0 (DE-588)4637781-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-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 Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-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 Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |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 | |
| 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 Beyer, Dirk |4 edt | |
| 700 | 1 | |a Huismann, Marieke |e Sonstige |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV044922540 |g 1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-89960-2 |
| 830 | 0 | |a Lecture notes in computer science |v 10805 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 10805 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030315813 | ||
Datensatz im Suchindex
| _version_ | 1804178492629188608 |
|---|---|
| any_adam_object | |
| author2 | Beyer, Dirk |
| author2_role | edt |
| author2_variant | d b db |
| author_corporate | TACAS Thessaloniki |
| author_corporate_role | aut |
| author_facet | Beyer, Dirk TACAS Thessaloniki |
| author_sort | TACAS Thessaloniki |
| building | Verbundindex |
| bvnumber | BV044922562 |
| ctrlnum | (OCoLC)1033635819 (DE-599)BVBBV044922562 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02924nam a2200625 cc4500</leader><controlfield tag="001">BV044922562</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180426s2018 |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319899596</subfield><subfield code="9">978-3-319-89959-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1033635819</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044922562</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="111" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">24.</subfield><subfield code="d">2018</subfield><subfield code="c">Thessaloniki</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1156789095</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">24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings</subfield><subfield code="n">Part 1</subfield><subfield code="c">Dirk Beyer, Marieke Huisman (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 429 Seiten</subfield><subfield code="b">Diagramme</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">10805</subfield><subfield code="a">Advanced research in computing and software science</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">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">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">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">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">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">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">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">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">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">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="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">Beyer, Dirk</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Huismann, Marieke</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV044922540</subfield><subfield code="g">1</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-89960-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10805 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10805</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030315813</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044922562 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:04:50Z |
| institution | BVB |
| institution_GND | (DE-588)1156789095 |
| isbn | 9783319899596 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030315813 |
| oclc_num | 1033635819 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XX, 429 Seiten Diagramme |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| 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 | TACAS 24. 2018 Thessaloniki Verfasser (DE-588)1156789095 aut Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 1 Dirk Beyer, Marieke Huisman (eds.) Berlin Springer [2018] XX, 429 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10805 Advanced research in computing and software science Lecture notes in computer science ... Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 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 Beyer, Dirk edt Huismann, Marieke Sonstige oth (DE-604)BV044922540 1 Erscheint auch als Online-Ausgabe 978-3-319-89960-2 Lecture notes in computer science 10805 : Advanced research in computing and software science (DE-604)BV000000607 10805 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Lecture notes in computer science Hardwareverifikation (DE-588)4214982-4 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Systemanalyse (DE-588)4116673-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Programmierung (DE-588)4076370-5 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Systementwicklung (DE-588)4126945-7 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4214982-4 (DE-588)4637781-5 (DE-588)4116673-5 (DE-588)4116522-6 (DE-588)4196735-5 (DE-588)4076370-5 (DE-588)4135576-3 (DE-588)4434799-6 (DE-588)4126945-7 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 1 Dirk Beyer, Marieke Huisman (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 1 Dirk Beyer, Marieke Huisman (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings Part 1 Dirk Beyer, Marieke Huisman (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 24th international conference tacas 2018 held as part of the european joint conferences on theory and practice of software etaps 2018 thessaloniki greece april 14 20 2018 proceedings |
| title_sub | 24th international conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| topic | Hardwareverifikation (DE-588)4214982-4 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Systemanalyse (DE-588)4116673-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Programmierung (DE-588)4076370-5 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Systementwicklung (DE-588)4126945-7 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Hardwareverifikation Entscheidungsverfahren Systemanalyse Softwareentwicklung Theoretische Informatik Programmierung Programmverifikation Model Checking Systementwicklung Programmiersprache Konferenzschrift |
| volume_link | (DE-604)BV044922540 (DE-604)BV000000607 |
| work_keys_str_mv | AT tacasthessaloniki toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspart1 AT beyerdirk toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspart1 AT huismannmarieke toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspart1 |