Tools and algorithms for the construction and analysis of systems: 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Part 1
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10205 |
| Schlagworte: | |
| Beschreibung: | XXIV, 608 Seiten Diagramme |
| ISBN: | 9783662545768 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV044286659 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 170427s2017 |||| |||| 10||| eng d | ||
| 020 | |a 9783662545768 |9 978-3-662-54576-8 | ||
| 035 | |a (OCoLC)992551379 | ||
| 035 | |a (DE-599)BVBBV044286659 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a TACAS |n 23. |d 2017 |c Uppsala |j Verfasser |0 (DE-588)1130333183 |4 aut | |
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |n Part 1 |c Axel Legay, Tiziana Margaria (eds.) |
| 264 | 1 | |a Berlin |b Springer |c [2017] | |
| 300 | |a XXIV, 608 Seiten |b 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 10205 |a Advanced research in computing and software science | |
| 490 | 0 | |a Lecture notes in computer science |v ... | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Legay, Axel |4 edt | |
| 773 | 0 | 8 | |w (DE-604)BV044286639 |g 1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-54577-5 |
| 830 | 0 | |a Lecture notes in computer science |v 10205 |w (DE-604)BV000000607 |9 10205 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029690879 | ||
Datensatz im Suchindex
| _version_ | 1804177481113010176 |
|---|---|
| any_adam_object | |
| author2 | Legay, Axel |
| author2_role | edt |
| author2_variant | a l al |
| author_corporate | TACAS Uppsala |
| author_corporate_role | aut |
| author_facet | Legay, Axel TACAS Uppsala |
| author_sort | TACAS Uppsala |
| building | Verbundindex |
| bvnumber | BV044286659 |
| ctrlnum | (OCoLC)992551379 (DE-599)BVBBV044286659 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01441nam a2200337 cc4500</leader><controlfield tag="001">BV044286659</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170427s2017 |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662545768</subfield><subfield code="9">978-3-662-54576-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992551379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044286659</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">23.</subfield><subfield code="d">2017</subfield><subfield code="c">Uppsala</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1130333183</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">23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings</subfield><subfield code="n">Part 1</subfield><subfield code="c">Axel Legay, Tiziana Margaria (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIV, 608 Seiten</subfield><subfield code="b">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">10205</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></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Legay, Axel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV044286639</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-662-54577-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10205</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10205</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029690879</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044286659 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:48:45Z |
| institution | BVB |
| institution_GND | (DE-588)1130333183 |
| isbn | 9783662545768 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029690879 |
| oclc_num | 992551379 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XXIV, 608 Seiten Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| 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 23. 2017 Uppsala Verfasser (DE-588)1130333183 aut Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Part 1 Axel Legay, Tiziana Margaria (eds.) Berlin Springer [2017] XXIV, 608 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10205 Advanced research in computing and software science Lecture notes in computer science ... (DE-588)1071861417 Konferenzschrift gnd-content Legay, Axel edt (DE-604)BV044286639 1 Erscheint auch als Online-Ausgabe 978-3-662-54577-5 Lecture notes in computer science 10205 (DE-604)BV000000607 10205 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Lecture notes in computer science |
| subject_GND | (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Part 1 Axel Legay, Tiziana Margaria (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Part 1 Axel Legay, Tiziana Margaria (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Part 1 Axel Legay, Tiziana Margaria (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 23rd international conference tacas 2017 held as part of the european joint conferences on theory and practice of software etaps 2017 uppsala sweden april 22 29 2017 proceedings |
| title_sub | 23rd international conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings |
| topic_facet | Konferenzschrift |
| volume_link | (DE-604)BV044286639 (DE-604)BV000000607 |
| work_keys_str_mv | AT tacasuppsala toolsandalgorithmsfortheconstructionandanalysisofsystems23rdinternationalconferencetacas2017heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2017uppsalaswedenapril22292017proceedingspart1 AT legayaxel toolsandalgorithmsfortheconstructionandanalysisofsystems23rdinternationalconferencetacas2017heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2017uppsalaswedenapril22292017proceedingspart1 |