Tools and algorithms for the construction and analysis of systems: 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2619 |
| Schlagworte: | |
| Online-Zugang: | DE-91 DE-384 DE-19 DE-706 DE-739 Volltext |
| Beschreibung: | 1 Online-Ressource (XVI, 604 S. graph. Darst.) |
| ISBN: | 3540008985 354036577X |
| DOI: | 10.1007/3-540-36577-X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035115115 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 081022s2003 xx d||| o|||| 10||| eng d | ||
| 020 | |a 3540008985 |9 3-540-00898-5 | ||
| 020 | |a 354036577X |c Online |9 3-540-36577-X | ||
| 024 | 7 | |a 10.1007/3-540-36577-X |2 doi | |
| 035 | |a (OCoLC)699821491 | ||
| 035 | |a (DE-599)BVBBV035115115 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-91 |a DE-706 |a DE-739 |a DE-384 | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |c Hubert Garavel ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2003 | |
| 300 | |a 1 Online-Ressource (XVI, 604 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 2619 | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2003 |z Warschau |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 Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Garavel, Hubert |e Sonstige |4 oth | |
| 711 | 2 | |a TACAS |n 9 |d 2003 |c Warschau |j Sonstige |0 (DE-588)10054179-3 |4 oth | |
| 711 | 2 | |a ETAPS |n 6 |d 2003 |c Warschau |j Sonstige |0 (DE-588)10054117-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2619 |w (DE-604)BV014880109 |9 2619 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/3-540-36577-X |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016782876 | |
| 966 | e | |u https://doi.org/10.1007/3-540-36577-X |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-36577-X |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-36577-X |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-36577-X |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-36577-X |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875079397933056 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV035115115 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 310f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)699821491 (DE-599)BVBBV035115115 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/3-540-36577-X |
| 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">BV035115115</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">081022s2003 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540008985</subfield><subfield code="9">3-540-00898-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354036577X</subfield><subfield code="c">Online</subfield><subfield code="9">3-540-36577-X</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-36577-X</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699821491</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035115115</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><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></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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">9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings</subfield><subfield code="c">Hubert Garavel ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 604 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">2619</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">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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">2003</subfield><subfield code="z">Warschau</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Garavel, Hubert</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">9</subfield><subfield code="d">2003</subfield><subfield code="c">Warschau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10054179-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">6</subfield><subfield code="d">2003</subfield><subfield code="c">Warschau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10054117-3</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">2619</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2619</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-36577-X</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016782876</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-36577-X</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-36577-X</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-36577-X</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-36577-X</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-36577-X</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Warschau gnd-content |
| genre_facet | Konferenzschrift 2003 Warschau |
| id | DE-604.BV035115115 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:19:15Z |
| indexdate | 2025-01-10T15:09:56Z |
| institution | BVB |
| institution_GND | (DE-588)10054179-3 (DE-588)10054117-3 |
| isbn | 3540008985 354036577X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016782876 |
| oclc_num | 699821491 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 |
| physical | 1 Online-Ressource (XVI, 604 S. graph. Darst.) |
| psigel | ZDB-2-LNC |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| 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 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Hubert Garavel ... (eds.) Berlin [u.a.] Springer 2003 1 Online-Ressource (XVI, 604 S. graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2619 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Warschau gnd-content Systementwicklung (DE-588)4126945-7 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Model Checking (DE-588)4434799-6 s Automatisches Beweisverfahren (DE-588)4069034-9 s Garavel, Hubert Sonstige oth TACAS 9 2003 Warschau Sonstige (DE-588)10054179-3 oth ETAPS 6 2003 Warschau Sonstige (DE-588)10054117-3 oth Lecture notes in computer science 2619 (DE-604)BV014880109 2619 https://doi.org/10.1007/3-540-36577-X Verlag Volltext |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)4069034-9 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Hubert Garavel ... (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Hubert Garavel ... (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Hubert Garavel ... (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 9th international conference tacas 2003 held as part of the joint european conferences on theory and practice of software etaps 2003 warsaw poland april 7 11 2003 proceedings |
| title_sub | 9th International Conference, TACAS 2003 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Softwareentwicklung Systementwicklung Model Checking Automatisches Beweisverfahren Konferenzschrift 2003 Warschau |
| url | https://doi.org/10.1007/3-540-36577-X |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT garavelhubert toolsandalgorithmsfortheconstructionandanalysisofsystems9thinternationalconferencetacas2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings AT tacaswarschau toolsandalgorithmsfortheconstructionandanalysisofsystems9thinternationalconferencetacas2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings AT etapswarschau toolsandalgorithmsfortheconstructionandanalysisofsystems9thinternationalconferencetacas2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings |