Tools and algorithms for the construction and analysis of systems: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III
Saved in:
| Corporate Authors: | , , |
|---|---|
| Other Authors: | , , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland
Springer Open
[2019]
|
| Series: | Lecture notes in computer science
11429 : Advanced research in computing and software science |
| Subjects: | |
| Online Access: | Volltext Volltext |
| Physical Description: | 1 Online-Ressource (xxvii, 258 Seiten) Illustrationen, Diagramme |
| ISBN: | 9783030175023 |
| DOI: | 10.1007/978-3-030-17502-3 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045860468 | ||
| 003 | DE-604 | ||
| 005 | 20220503 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190506s2019 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783030175023 |c Online |9 978-3-030-17502-3 | ||
| 024 | 7 | |a 10.1007/978-3-030-17502-3 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783030175023 | ||
| 035 | |a (ZDB-2-LNC)9783030175023 | ||
| 035 | |a (ZDB-2-SOB)9783030175023 | ||
| 035 | |a (ZDB-94-OAB)DOAB43529 | ||
| 035 | |a (OCoLC)1101125416 | ||
| 035 | |a (DE-599)BVBBV045860468 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-525 |a DE-12 |a DE-634 |a DE-210 |a DE-521 |a DE-1102 |a DE-1046 |a DE-1028 |a DE-Aug4 |a DE-1050 |a DE-573 |a DE-M347 |a DE-92 |a DE-1051 |a DE-898 |a DE-859 |a DE-860 |a DE-1049 |a DE-861 |a DE-863 |a DE-862 |a DE-523 |a DE-Re13 |a DE-Y3 |a DE-255 |a DE-Y7 |a DE-Y2 |a DE-70 |a DE-2174 |a DE-127 |a DE-22 |a DE-155 |a DE-150 |a DE-91 |a DE-384 |a DE-473 |a DE-19 |a DE-355 |a DE-703 |a DE-20 |a DE-706 |a DE-824 |a DE-29 |a DE-739 |a DE-235 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 310 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 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 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III |c Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (eds.) |
| 264 | 1 | |a Cham, Switzerland |b Springer Open |c [2019] | |
| 264 | 4 | |c © 2019 | |
| 300 | |a 1 Online-Ressource (xxvii, 258 Seiten) |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 11429 |a Advanced research in computing and software science | |
| 490 | 0 | |a Theoretical computer science and general issues | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a The Computing Profession | |
| 650 | 4 | |a System Performance and Evaluation | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer industry | |
| 650 | 4 | |a Computer system performance | |
| 650 | 4 | |a Computer simulation | |
| 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 2019 |z Prag |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |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 Beyer, Dirk |d 1972- |0 (DE-588)124429041 |4 edt | |
| 700 | 1 | |a Huisman, Marieke |d 1973- |0 (DE-588)1132831601 |4 edt | |
| 700 | 1 | |a Kordon, Fabrice |0 (DE-588)124742661 |4 edt | |
| 700 | 1 | |a Steffen, Bernhard |d 1958- |0 (DE-588)1054357390 |4 edt | |
| 711 | 2 | |a TOOLympics |d 2019 |c Prag |j Verfasser |0 (DE-588)1186663979 |4 aut | |
| 711 | 2 | |a ETAPS |n 22. |d 2019 |c Prag |j Verfasser |0 (DE-588)1183926626 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-17501-6 |
| 830 | 0 | |a Lecture notes in computer science |v 11429 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 11429 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-17502-3 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u https://doabooks.org/doab?func=fulltext&uiLanguage=eng&rid=43529 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SOB | ||
| 912 | |a ZDB-94-OAB | ||
| 940 | 1 | |q ZDB-2-SCS_2019 | |
| 940 | 1 | |q ZDB-2-LNC_2019 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031243958 | |
Record in the Search Index
| DE-BY-FWS_katkey | 722900 |
|---|---|
| _version_ | 1824555741950771200 |
| adam_text | |
| any_adam_object | |
| author2 | Beyer, Dirk 1972- Huisman, Marieke 1973- Kordon, Fabrice Steffen, Bernhard 1958- |
| author2_role | edt edt edt edt |
| author2_variant | d b db m h mh f k fk b s bs |
| author_GND | (DE-588)124429041 (DE-588)1132831601 (DE-588)124742661 (DE-588)1054357390 |
| author_corporate | TACAS Prag TOOLympics ETAPS |
| author_corporate_role | aut aut aut |
| author_facet | Beyer, Dirk 1972- Huisman, Marieke 1973- Kordon, Fabrice Steffen, Bernhard 1958- TACAS Prag TOOLympics ETAPS |
| author_sort | TACAS Prag |
| building | Verbundindex |
| bvnumber | BV045860468 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310 DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC ZDB-2-SOB ZDB-94-OAB |
| ctrlnum | (ZDB-2-SCS)9783030175023 (ZDB-2-LNC)9783030175023 (ZDB-2-SOB)9783030175023 (ZDB-94-OAB)DOAB43529 (OCoLC)1101125416 (DE-599)BVBBV045860468 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-030-17502-3 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV045860468</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220503</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190506s2019 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030175023</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-17502-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-17502-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030175023</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030175023</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SOB)9783030175023</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-94-OAB)DOAB43529</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1101125416</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045860468</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-525</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-Re13</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-255</subfield><subfield code="a">DE-Y7</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-2174</subfield><subfield code="a">DE-127</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-235</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</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">25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III</subfield><subfield code="c">Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer Open</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxvii, 258 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">11429</subfield><subfield code="a">Advanced research in computing and software science</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Theoretical computer science and general issues</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">The Computing Profession</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Performance and Evaluation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer industry</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer system performance</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</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">2019</subfield><subfield code="z">Prag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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">Beyer, Dirk</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)124429041</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Huisman, Marieke</subfield><subfield code="d">1973-</subfield><subfield code="0">(DE-588)1132831601</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kordon, Fabrice</subfield><subfield code="0">(DE-588)124742661</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steffen, Bernhard</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)1054357390</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TOOLympics</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1186663979</subfield><subfield code="4">aut</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">22.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1183926626</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-17501-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11429 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">11429</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-17502-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doabooks.org/doab?func=fulltext&uiLanguage=eng&rid=43529</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2019</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2019</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031243958</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Prag gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Konferenzschrift 2019 Prag Aufsatzsammlung |
| id | DE-604.BV045860468 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T07:12:29Z |
| institution | BVB |
| institution_GND | (DE-588)1184809712 (DE-588)1186663979 (DE-588)1183926626 |
| isbn | 9783030175023 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031243958 |
| oclc_num | 1101125416 |
| open_access_boolean | 1 |
| owner | DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235 |
| owner_facet | DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235 |
| physical | 1 Online-Ressource (xxvii, 258 Seiten) Illustrationen, Diagramme |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SOB ZDB-94-OAB ZDB-2-SCS_2019 ZDB-2-LNC_2019 |
| 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 Theoretical computer science and general issues |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III Lecture notes in computer science Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages The Computing Profession System Performance and Evaluation Simulation and Modeling Logic design Software engineering Computer science Computer industry Computer system performance Computer simulation 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 (DE-588)4143413-4 |
| title | Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III |
| title_auth | Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III |
| title_full | Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen (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 25 years of tacas toolympics held as part of etaps 2019 prague czech republic april 6 11 2019 proceedings part iii |
| title_sub | 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III |
| topic | Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages The Computing Profession System Performance and Evaluation Simulation and Modeling Logic design Software engineering Computer science Computer industry Computer system performance Computer simulation 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 | Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages The Computing Profession System Performance and Evaluation Simulation and Modeling Logic design Software engineering Computer science Computer industry Computer system performance Computer simulation Theoretische Informatik Entscheidungsverfahren Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Systemanalyse Programmiersprache Konferenzschrift 2019 Prag Aufsatzsammlung |
| url | https://doi.org/10.1007/978-3-030-17502-3 https://doabooks.org/doab?func=fulltext&uiLanguage=eng&rid=43529 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT tacasprag toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT beyerdirk toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT huismanmarieke toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT kordonfabrice toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT steffenbernhard toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT toolympicsprag toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii AT etapsprag toolsandalgorithmsfortheconstructionandanalysisofsystems25yearsoftacastoolympicsheldaspartofetaps2019pragueczechrepublicapril6112019proceedingspartiii |