Tools and algorithms for the construction and analysis of systems: 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Part 1
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer Open
[2019]
|
| Series: | Lecture notes in computer science
11427 : Advanced research in computing and software science |
| Subjects: | |
| Physical Description: | xxiii, 433 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030174613 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV045677408 | ||
| 003 | DE-604 | ||
| 005 | 20200409 | ||
| 007 | t| | ||
| 008 | 190429s2019 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030174613 |9 978-3-030-17461-3 | ||
| 035 | |a (OCoLC)1099896035 | ||
| 035 | |a (DE-599)BVBBV045677408 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a TACAS |n 25. |d 2019 |c Prag |j Verfasser |0 (DE-588)1184809712 |4 aut | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |n Part 1 |c Tomáš Vojnar, Lijun Zhang (eds.) |
| 264 | 1 | |a Cham |b Springer Open |c [2019] | |
| 300 | |a xxiii, 433 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 11427 |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 2019 |z Prag |2 gnd-content | |
| 700 | 1 | |a Vojnar, Tomas |4 edt | |
| 773 | 0 | 8 | |w (DE-604)BV045677398 |g 1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-17462-0 |w (DE-604)BV045860466 |
| 830 | 0 | |a Lecture notes in computer science |v 11427 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 11427 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031060948 | |
Record in the Search Index
| _version_ | 1820875740993814528 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Vojnar, Tomas |
| author2_role | edt |
| author2_variant | t v tv |
| author_corporate | TACAS Prag |
| author_corporate_role | aut |
| author_facet | Vojnar, Tomas TACAS Prag |
| author_sort | TACAS Prag |
| building | Verbundindex |
| bvnumber | BV045677408 |
| ctrlnum | (OCoLC)1099896035 (DE-599)BVBBV045677408 |
| 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">BV045677408</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200409</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">190429s2019 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030174613</subfield><subfield code="9">978-3-030-17461-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1099896035</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045677408</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">25.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1184809712</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">25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings</subfield><subfield code="n">Part 1</subfield><subfield code="c">Tomáš Vojnar, Lijun Zhang (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Open</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxiii, 433 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">11427</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">2019</subfield><subfield code="z">Prag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vojnar, Tomas</subfield><subfield code="4">edt</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV045677398</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-17462-0</subfield><subfield code="w">(DE-604)BV045860466</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11427 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11427</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031060948</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Prag gnd-content |
| genre_facet | Konferenzschrift 2019 Prag |
| id | DE-604.BV045677408 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:20:27Z |
| institution | BVB |
| institution_GND | (DE-588)1184809712 |
| isbn | 9783030174613 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031060948 |
| oclc_num | 1099896035 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xxiii, 433 Seiten Illustrationen, Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer Open |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | TACAS 25. 2019 Prag Verfasser (DE-588)1184809712 aut Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Part 1 Tomáš Vojnar, Lijun Zhang (eds.) Cham Springer Open [2019] xxiii, 433 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11427 Advanced research in computing and software science Lecture notes in computer science ... Advanced research in computing and software science (DE-588)1071861417 Konferenzschrift 2019 Prag gnd-content Vojnar, Tomas edt (DE-604)BV045677398 1 Erscheint auch als Online-Ausgabe 978-3-030-17462-0 (DE-604)BV045860466 Lecture notes in computer science 11427 : Advanced research in computing and software science (DE-604)BV000000607 11427 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Lecture notes in computer science |
| subject_GND | (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Part 1 Tomáš Vojnar, Lijun Zhang (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Part 1 Tomáš Vojnar, Lijun Zhang (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Part 1 Tomáš Vojnar, Lijun Zhang (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 25th international conference tacas 2019 held as part of the european joint conferences on theory and practice of software etaps 2019 prague czech republic april 6 11 2019 proceedings |
| title_sub | 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |
| topic_facet | Konferenzschrift 2019 Prag |
| volume_link | (DE-604)BV045677398 (DE-604)BV000000607 |
| work_keys_str_mv | AT tacasprag toolsandalgorithmsfortheconstructionandanalysisofsystems25thinternationalconferencetacas2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedingspart1 AT vojnartomas toolsandalgorithmsfortheconstructionandanalysisofsystems25thinternationalconferencetacas2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedingspart1 |