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 Part 1
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in computer science
13993 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | xxiii, 708 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031308222 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV049097892 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 230811s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031308222 |9 978-3-031-30822-2 | ||
| 035 | |a (OCoLC)1401189189 | ||
| 035 | |a (DE-599)BVBBV049097892 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 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 |n Part 1 |c Sriram Sankaranarayanan, Natasha Sharygina, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 300 | |a xxiii, 708 Seiten |b Illustrationen, 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 13993 |a Advanced research in computing and software science | |
| 490 | 0 | |a Lecture notes in computer science |a Advanced research in computing and software science | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Paris |2 gnd-content | |
| 700 | 1 | |a Sankaranarayanan, Sriram |4 edt | |
| 700 | 1 | |a Sharygina, Natasha |4 edt | |
| 773 | 0 | 8 | |w (DE-604)BV049097852 |g 1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-30823-9 |
| 830 | 0 | |a Lecture notes in computer science |v 13993 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 13993 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034359471 | |
Datensatz im Suchindex
| _version_ | 1819583457210138624 |
|---|---|
| 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 | BV049097892 |
| ctrlnum | (OCoLC)1401189189 (DE-599)BVBBV049097892 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV049097892</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230811s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031308222</subfield><subfield code="9">978-3-031-30822-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1401189189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049097892</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">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="n">Part 1</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="300" ind1=" " ind2=" "><subfield code="a">xxiii, 708 Seiten</subfield><subfield code="b">Illustrationen, 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">13993</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="a">Advanced research in computing and software science</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</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="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV049097852</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-031-30823-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13993 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13993</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034359471</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Paris gnd-content |
| genre_facet | Konferenzschrift 2023 Paris |
| id | DE-604.BV049097892 |
| illustrated | Illustrated |
| index_date | 2024-07-03T22:31:51Z |
| indexdate | 2024-12-27T09:00:09Z |
| institution | BVB |
| institution_GND | (DE-588)1292843276 |
| isbn | 9783031308222 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034359471 |
| oclc_num | 1401189189 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xxiii, 708 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| 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 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 Part 1 Sriram Sankaranarayanan, Natasha Sharygina, editors Cham Springer [2023] xxiii, 708 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13993 Advanced research in computing and software science Lecture notes in computer science Advanced research in computing and software science (DE-588)1071861417 Konferenzschrift 2023 Paris gnd-content Sankaranarayanan, Sriram edt Sharygina, Natasha edt (DE-604)BV049097852 1 Erscheint auch als Online-Ausgabe 978-3-031-30823-9 Lecture notes in computer science 13993 : Advanced research in computing and software science (DE-604)BV000000607 13993 |
| 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 Lecture notes in computer science |
| subject_GND | (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 Part 1 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 Part 1 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 Part 1 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_facet | Konferenzschrift 2023 Paris |
| volume_link | (DE-604)BV049097852 (DE-604)BV000000607 |
| work_keys_str_mv | AT tacasparis toolsandalgorithmsfortheconstructionandanalysisofsystems29thinternationalconferencetacas2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022parisfranceapril22272023proceedingspart1 AT sankaranarayanansriram toolsandalgorithmsfortheconstructionandanalysisofsystems29thinternationalconferencetacas2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022parisfranceapril22272023proceedingspart1 AT sharyginanatasha toolsandalgorithmsfortheconstructionandanalysisofsystems29thinternationalconferencetacas2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022parisfranceapril22272023proceedingspart1 |