Tools and algorithms for the construction and analysis of systems: 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Part 1
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2021]
|
| Schriftenreihe: | Lecture notes in computer science
12651 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | xxi, 471 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030720155 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV047289725 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 210519s2021 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030720155 |9 978-3-030-72015-5 | ||
| 035 | |a (OCoLC)1252707610 | ||
| 035 | |a (DE-599)BVBBV047289725 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a TACAS |n 27. |d 2021 |c Online |j Verfasser |0 (DE-588)1232363553 |4 aut | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |n Part 1 |c Jan Friso Groote, Kim Guldstrand Larsen (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2021] | |
| 300 | |a xxi, 471 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 12651 |a Advanced research in computing and software science | |
| 490 | 0 | |a Lecture notes in computer science |v ... |a Advanced research in computing and software science | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2021 |z Online |2 gnd-content | |
| 700 | 1 | |a Groote, Jan Friso |d 1965- |0 (DE-588)1071726838 |4 edt | |
| 773 | 0 | 8 | |w (DE-604)BV047289699 |g 1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-72016-2 |
| 830 | 0 | |a Lecture notes in computer science |v 12651 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 12651 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032693109 | |
Datensatz im Suchindex
| _version_ | 1820875794091606016 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Groote, Jan Friso 1965- |
| author2_role | edt |
| author2_variant | j f g jf jfg |
| author_GND | (DE-588)1071726838 |
| author_corporate | TACAS Online |
| author_corporate_role | aut |
| author_facet | Groote, Jan Friso 1965- TACAS Online |
| author_sort | TACAS Online |
| building | Verbundindex |
| bvnumber | BV047289725 |
| ctrlnum | (OCoLC)1252707610 (DE-599)BVBBV047289725 |
| 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">BV047289725</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">210519s2021 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030720155</subfield><subfield code="9">978-3-030-72015-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1252707610</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047289725</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">27.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1232363553</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">27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings</subfield><subfield code="n">Part 1</subfield><subfield code="c">Jan Friso Groote, Kim Guldstrand Larsen (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxi, 471 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">12651</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><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">2021</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Groote, Jan Friso</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)1071726838</subfield><subfield code="4">edt</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV047289699</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-030-72016-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12651 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12651</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032693109</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047289725 |
| illustrated | Illustrated |
| index_date | 2024-07-03T17:19:45Z |
| indexdate | 2025-01-10T15:21:18Z |
| institution | BVB |
| institution_GND | (DE-588)1232363553 |
| isbn | 9783030720155 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032693109 |
| oclc_num | 1252707610 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xxi, 471 Seiten Illustrationen, Diagramme |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| 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 27. 2021 Online Verfasser (DE-588)1232363553 aut Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Part 1 Jan Friso Groote, Kim Guldstrand Larsen (eds.) Cham Springer [2021] xxi, 471 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12651 Advanced research in computing and software science Lecture notes in computer science ... Advanced research in computing and software science (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content Groote, Jan Friso 1965- (DE-588)1071726838 edt (DE-604)BV047289699 1 Erscheint auch als Online-Ausgabe 978-3-030-72016-2 Lecture notes in computer science 12651 : Advanced research in computing and software science (DE-604)BV000000607 12651 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Lecture notes in computer science |
| subject_GND | (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Part 1 Jan Friso Groote, Kim Guldstrand Larsen (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Part 1 Jan Friso Groote, Kim Guldstrand Larsen (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Part 1 Jan Friso Groote, Kim Guldstrand Larsen (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 27th international conference tacas 2021 held as part of the european joint conferences on theory and practice of software etaps 2021 luxembourg city luxembourg march 27 april 1 2021 proceedings |
| title_sub | 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| topic_facet | Konferenzschrift 2021 Online |
| volume_link | (DE-604)BV047289699 (DE-604)BV000000607 |
| work_keys_str_mv | AT tacasonline toolsandalgorithmsfortheconstructionandanalysisofsystems27thinternationalconferencetacas2021heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2021luxembourgcityluxembourgmarch27april12021proceedingspart1 AT grootejanfriso toolsandalgorithmsfortheconstructionandanalysisofsystems27thinternationalconferencetacas2021heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2021luxembourgcityluxembourgmarch27april12021proceedingspart1 |