Tools and algorithms for the construction and analysis of systems: 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
Schriftenreihe: | Lecture notes in computer science
6015 : Advanced research in computing and software science |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | Literaturangaben |
Beschreibung: | 1 Online-Ressource (XVI, 468 S.) graph. Darst. |
ISBN: | 9783642120015 9783642120022 |
DOI: | 10.1007/978-3-642-12002-2 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV036121975 | ||
003 | DE-604 | ||
005 | 20110504 | ||
007 | cr|uuu---uuuuu | ||
008 | 100414s2010 xx d||| o|||| 10||| eng d | ||
020 | |a 9783642120015 |9 978-3-642-12001-5 | ||
020 | |a 9783642120022 |c Online |9 978-3-642-12002-2 | ||
024 | 7 | |a 10.1007/978-3-642-12002-2 |2 doi | |
035 | |a (OCoLC)1075510486 | ||
035 | |a (DE-599)BVBBV036121975 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-473 |a DE-19 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-20 |a DE-703 |a DE-634 |a DE-355 | ||
082 | 0 | |a 005.12 |2 22/ger | |
084 | |a DAT 310f |2 stub | ||
084 | |a DAT 000 |2 stub | ||
084 | |a DAT 500f |2 stub | ||
245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |c Javier Esparza ... (ed.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
300 | |a 1 Online-Ressource (XVI, 468 S.) |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 6015 : Advanced research in computing and software science | |
500 | |a Literaturangaben | ||
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-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 Programmanalyse |0 (DE-588)4175841-9 |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 |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Paphos Ktima |2 gnd-content | |
689 | 0 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
689 | 2 | |5 DE-604 | |
689 | 3 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
689 | 3 | |5 DE-604 | |
689 | 4 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 4 | |5 DE-604 | |
700 | 1 | |a Esparza, Javier |d 1964- |e Sonstige |0 (DE-588)111831016 |4 oth | |
711 | 2 | |a TACAS |n 16 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16174268-3 |4 oth | |
711 | 2 | |a ETAPS |n 13 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059897-7 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 6015 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 6015 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-12002-2 |x Verlag |3 Volltext |
912 | |a ZDB-2-LNC | ||
912 | |a ZDB-2-SCS | ||
940 | 1 | |q UBR Paketkauf 2024 | |
940 | 1 | |q ZDB-2-SCS_2010 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-019011939 |
Datensatz im Suchindex
_version_ | 1821304975991504896 |
---|---|
adam_text | |
any_adam_object | |
author_GND | (DE-588)111831016 |
building | Verbundindex |
bvnumber | BV036121975 |
classification_rvk | SS 4800 |
classification_tum | DAT 310f DAT 000 DAT 500f |
collection | ZDB-2-LNC ZDB-2-SCS |
ctrlnum | (OCoLC)1075510486 (DE-599)BVBBV036121975 |
dewey-full | 005.12 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.12 |
dewey-search | 005.12 |
dewey-sort | 15.12 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1007/978-3-642-12002-2 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036121975</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110504</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">100414s2010 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642120015</subfield><subfield code="9">978-3-642-12001-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642120022</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-12002-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-12002-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1075510486</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036121975</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</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">16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings</subfield><subfield code="c">Javier Esparza ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 468 S.)</subfield><subfield code="b">graph. Darst.</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">6015 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Paphos Ktima</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Esparza, Javier</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)111831016</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">16</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16174268-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059897-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6015 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6015</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-12002-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBR Paketkauf 2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2010</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019011939</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content |
genre_facet | Konferenzschrift 2010 Paphos Ktima |
id | DE-604.BV036121975 |
illustrated | Illustrated |
indexdate | 2025-01-15T09:02:57Z |
institution | BVB |
institution_GND | (DE-588)16174268-3 (DE-588)16059897-7 |
isbn | 9783642120015 9783642120022 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-019011939 |
oclc_num | 1075510486 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-20 DE-703 DE-634 DE-355 DE-BY-UBR |
owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-20 DE-703 DE-634 DE-355 DE-BY-UBR |
physical | 1 Online-Ressource (XVI, 468 S.) graph. Darst. |
psigel | ZDB-2-LNC ZDB-2-SCS UBR Paketkauf 2024 ZDB-2-SCS_2010 |
publishDate | 2010 |
publishDateSearch | 2010 |
publishDateSort | 2010 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) Berlin [u.a.] Springer 2010 1 Online-Ressource (XVI, 468 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6015 : Advanced research in computing and software science Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content Systementwicklung (DE-588)4126945-7 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Model Checking (DE-588)4434799-6 s Programmanalyse (DE-588)4175841-9 s Theoretische Informatik (DE-588)4196735-5 s Esparza, Javier 1964- Sonstige (DE-588)111831016 oth TACAS 16 2010 Paphos Sonstige (DE-588)16174268-3 oth ETAPS 13 2010 Paphos Sonstige (DE-588)16059897-7 oth Lecture notes in computer science 6015 : Advanced research in computing and software science (DE-604)BV014880109 6015 https://doi.org/10.1007/978-3-642-12002-2 Verlag Volltext |
spellingShingle | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
subject_GND | (DE-588)4196735-5 (DE-588)4116522-6 (DE-588)4175841-9 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)1071861417 |
title | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
title_auth | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
title_exact_search | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
title_full | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) |
title_fullStr | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) |
title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings Javier Esparza ... (ed.) |
title_short | Tools and algorithms for the construction and analysis of systems |
title_sort | tools and algorithms for the construction and analysis of systems 16th international conference tacas 2010 held as part of the joint european conferences on theory and practice of software etaps 2010 paphos cyprus march 20 28 2010 proceedings |
title_sub | 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings |
topic | Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
topic_facet | Theoretische Informatik Softwareentwicklung Programmanalyse Systementwicklung Model Checking Konferenzschrift 2010 Paphos Ktima |
url | https://doi.org/10.1007/978-3-642-12002-2 |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT esparzajavier toolsandalgorithmsfortheconstructionandanalysisofsystems16thinternationalconferencetacas2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT tacaspaphos toolsandalgorithmsfortheconstructionandanalysisofsystems16thinternationalconferencetacas2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT etapspaphos toolsandalgorithmsfortheconstructionandanalysisofsystems16thinternationalconferencetacas2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings |