Tools and algorithms for the construction and analysis of systems: 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceedings Book |
| Language: | English |
| Published: |
Cham
Springer
[2022]
|
| Series: | Lecture notes in computer science Advanced research in computing and software science
... |
| Subjects: |
Staff View
MARC
| LEADER | 00000nam a2200000 ca4500 | ||
|---|---|---|---|
| 001 | BV047946750 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 220420s2022 xx |||| 10||| eng d | ||
| 035 | |a (DE-599)BVBBV047946750 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 111 | 2 | |a TACAS |n 28. |d 2022 |c München |j Verfasser |0 (DE-588)1255727845 |4 aut | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |c Dana Fisman, Grigore Rosu (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in computer science |v ... |a 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 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 Fisman, Dana |4 edt | |
| 711 | 2 | |a ETAPS |n 25. |d 2022 |c München |0 (DE-588)1255726962 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033328163 | |
Record in the Search Index
| _version_ | 1820980761926303744 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Fisman, Dana |
| author2_role | edt |
| author2_variant | d f df |
| author_corporate | TACAS München |
| author_corporate_role | aut |
| author_facet | Fisman, Dana TACAS München |
| author_sort | TACAS München |
| building | Verbundindex |
| bvnumber | BV047946750 |
| classification_rvk | SS 4800 |
| ctrlnum | (DE-599)BVBBV047946750 |
| 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">BV047946750</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">220420s2022 xx |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047946750</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">28.</subfield><subfield code="d">2022</subfield><subfield code="c">München</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1255727845</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">28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings</subfield><subfield code="c">Dana Fisman, Grigore Rosu (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</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><subfield code="a">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">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">Fisman, Dana</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">25.</subfield><subfield code="d">2022</subfield><subfield code="c">München</subfield><subfield code="0">(DE-588)1255726962</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033328163</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2022 München gnd-content |
| genre_facet | Konferenzschrift 2022 München |
| id | DE-604.BV047946750 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T19:09:43Z |
| institution | BVB |
| institution_GND | (DE-588)1255727845 (DE-588)1255726962 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033328163 |
| open_access_boolean | |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | TACAS 28. 2022 München Verfasser (DE-588)1255727845 aut Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Dana Fisman, Grigore Rosu (eds.) Cham Springer [2022] txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science ... Advanced research in computing and software 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 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 Fisman, Dana edt ETAPS 25. 2022 München (DE-588)1255726962 oth |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : 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 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Dana Fisman, Grigore Rosu (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Dana Fisman, Grigore Rosu (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Dana Fisman, Grigore Rosu (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 28th international conference tacas 2022 held as part of the european joint conferences on theory and practice of software etaps 2022 munich germany april 2 7 2022 proceedings |
| title_sub | 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : 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 tacasmunchen toolsandalgorithmsfortheconstructionandanalysisofsystems28thinternationalconferencetacas2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings AT fismandana toolsandalgorithmsfortheconstructionandanalysisofsystems28thinternationalconferencetacas2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings AT etapsmunchen toolsandalgorithmsfortheconstructionandanalysisofsystems28thinternationalconferencetacas2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings |