Tools and algorithms for the construction and analysis of systems: 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in computer science Advanced research in computing and software science
|
| Schlagworte: | |
| Beschreibung: | Fehler auf Titelblatt: ETAPS 2022, gemeint ist 2023 |
Internformat
MARC
| LEADER | 00000nam a2200000 ca4500 | ||
|---|---|---|---|
| 001 | BV049097852 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 230811s2023 xx |||| 10||| eng d | ||
| 035 | |a (DE-599)BVBBV049097852 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 111 | 2 | |a TACAS |n 29. |d 2023 |c Paris |j Verfasser |0 (DE-588)1292843276 |4 aut | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings |c Sriram Sankaranarayanan, Natasha Sharygina, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in computer science |a Advanced research in computing and software science | |
| 500 | |a Fehler auf Titelblatt: ETAPS 2022, gemeint ist 2023 | ||
| 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 |y 2022 |z München |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 Sankaranarayanan, Sriram |4 edt | |
| 700 | 1 | |a Sharygina, Natasha |4 edt | |
| 711 | 2 | |a ETAPS |n 26. |d 2023 |c Paris |0 (DE-588)1292624000 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034359432 | |
Datensatz im Suchindex
| _version_ | 1819583457184972800 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Sankaranarayanan, Sriram Sharygina, Natasha |
| author2_role | edt edt |
| author2_variant | s s ss n s ns |
| author_corporate | TACAS Paris |
| author_corporate_role | aut |
| author_facet | Sankaranarayanan, Sriram Sharygina, Natasha TACAS Paris |
| author_sort | TACAS Paris |
| building | Verbundindex |
| bvnumber | BV049097852 |
| classification_rvk | SS 4800 |
| ctrlnum | (DE-599)BVBBV049097852 |
| discipline | Informatik |
| discipline_str_mv | 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">BV049097852</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230811s2023 xx |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049097852</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="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">29.</subfield><subfield code="d">2023</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1292843276</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">29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings</subfield><subfield code="c">Sriram Sankaranarayanan, Natasha Sharygina, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</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="a">Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Fehler auf Titelblatt: ETAPS 2022, gemeint ist 2023</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="y">2022</subfield><subfield code="z">München</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">Sankaranarayanan, Sriram</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sharygina, Natasha</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">26.</subfield><subfield code="d">2023</subfield><subfield code="c">Paris</subfield><subfield code="0">(DE-588)1292624000</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034359432</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2022 München gnd-content |
| genre_facet | Konferenzschrift 2022 München |
| id | DE-604.BV049097852 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T22:31:51Z |
| indexdate | 2024-12-27T09:00:09Z |
| institution | BVB |
| institution_GND | (DE-588)1292843276 (DE-588)1292624000 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034359432 |
| open_access_boolean | |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | TACAS 29. 2023 Paris Verfasser (DE-588)1292843276 aut Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings Sriram Sankaranarayanan, Natasha Sharygina, editors Cham Springer [2023] txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Advanced research in computing and software science Fehler auf Titelblatt: ETAPS 2022, gemeint ist 2023 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 2022 München 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 Sankaranarayanan, Sriram edt Sharygina, Natasha edt ETAPS 26. 2023 Paris (DE-588)1292624000 oth |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : 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 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings Sriram Sankaranarayanan, Natasha Sharygina, editors |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings Sriram Sankaranarayanan, Natasha Sharygina, editors |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings Sriram Sankaranarayanan, Natasha Sharygina, editors |
| title_short | Tools and algorithms for the construction and analysis of systems |
| title_sort | tools and algorithms for the construction and analysis of systems 29th international conference tacas 2023 held as part of the european joint conferences on theory and practice of software etaps 2022 paris france april 22 27 2023 proceedings |
| title_sub | 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : 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 2022 München |
| work_keys_str_mv | AT tacasparis toolsandalgorithmsfortheconstructionandanalysisofsystems29thinternationalconferencetacas2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022parisfranceapril22272023proceedings AT sankaranarayanansriram toolsandalgorithmsfortheconstructionandanalysisofsystems29thinternationalconferencetacas2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022parisfranceapril22272023proceedings AT sharyginanatasha toolsandalgorithmsfortheconstructionandanalysisofsystems29thinternationalconferencetacas2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022parisfranceapril22272023proceedings AT etapsparis toolsandalgorithmsfortheconstructionandanalysisofsystems29thinternationalconferencetacas2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022parisfranceapril22272023proceedings |