Tools and algorithms for the construction and analysis of systems: 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
2988 |
| Schlagworte: | |
| Online-Zugang: | TUM01 UBA01 UBM01 UBY01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource (XIV, 608 S. graph. Darst.) |
| ISBN: | 354021299X |
| DOI: | 10.1007/b96393 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035073440 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 080926s2004 gw |||| o||u| ||||||ger d | ||
| 020 | |a 354021299X |9 3-540-21299-X | ||
| 024 | 7 | |a 10.1007/b96393 |2 doi | |
| 035 | |a (OCoLC)834828386 | ||
| 035 | |a (DE-599)BVBBV035073440 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-91 |a DE-706 |a DE-739 |a DE-384 | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings |c Kurt Jensen ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
| 300 | |a 1 Online-Ressource (XIV, 608 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 2988 | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |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 Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2004 |z Barcelona |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 | |
| 689 | 4 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 4 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Jensen, Kurt |e Sonstige |4 oth | |
| 711 | 2 | |a TACAS |n 10 |d 2004 |c Barcelona |j Sonstige |0 (DE-588)10076241-4 |4 oth | |
| 711 | 2 | |a ETAPS |n 7 |d 2004 |c Barcelona |j Sonstige |0 (DE-588)10076242-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2988 |w (DE-604)BV014880109 |9 2988 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/b96393 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016741799 | ||
| 966 | e | |u https://doi.org/10.1007/b96393 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b96393 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b96393 |l UBM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b96393 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b96393 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804138022636093440 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV035073440 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)834828386 (DE-599)BVBBV035073440 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/b96393 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02946nmm a2200661 cb4500</leader><controlfield tag="001">BV035073440</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080926s2004 gw |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354021299X</subfield><subfield code="9">3-540-21299-X</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b96393</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)834828386</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035073440</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings</subfield><subfield code="c">Kurt Jensen ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 608 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">2988</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">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">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="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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2004</subfield><subfield code="z">Barcelona</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="689" ind1="4" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Jensen, Kurt</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">10</subfield><subfield code="d">2004</subfield><subfield code="c">Barcelona</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10076241-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">7</subfield><subfield code="d">2004</subfield><subfield code="c">Barcelona</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10076242-6</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">2988</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2988</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b96393</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016741799</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b96393</subfield><subfield code="l">TUM01</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/b96393</subfield><subfield code="l">UBA01</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/b96393</subfield><subfield code="l">UBM01</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/b96393</subfield><subfield code="l">UBY01</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/b96393</subfield><subfield code="l">UPA01</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 2004 Barcelona gnd-content |
| genre_facet | Konferenzschrift 2004 Barcelona |
| id | DE-604.BV035073440 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T22:04:50Z |
| indexdate | 2024-07-09T21:21:35Z |
| institution | BVB |
| institution_GND | (DE-588)10076241-4 (DE-588)10076242-6 |
| isbn | 354021299X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016741799 |
| oclc_num | 834828386 |
| 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 (XIV, 608 S. graph. Darst.) |
| psigel | ZDB-2-LNC |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| 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 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings Kurt Jensen ... (eds.) Berlin [u.a.] Springer 2004 1 Online-Ressource (XIV, 608 S. graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2988 Programmverifikation (DE-588)4135576-3 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2004 Barcelona 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 Softwarespezifikation (DE-588)4056186-0 s Programmverifikation (DE-588)4135576-3 s Jensen, Kurt Sonstige oth TACAS 10 2004 Barcelona Sonstige (DE-588)10076241-4 oth ETAPS 7 2004 Barcelona Sonstige (DE-588)10076242-6 oth Lecture notes in computer science 2988 (DE-604)BV014880109 2988 https://doi.org/10.1007/b96393 Verlag Volltext |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings Lecture notes in computer science Programmverifikation (DE-588)4135576-3 gnd Systementwicklung (DE-588)4126945-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4126945-7 (DE-588)4069034-9 (DE-588)4434799-6 (DE-588)4056186-0 (DE-588)4116522-6 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings Kurt Jensen ... (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings Kurt Jensen ... (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings Kurt Jensen ... (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 10th international conference tacas 2004 held as part of the joint european conferences on theory and practice of software etaps 2004 barcelona spain march 29 april 2 2004 proceedings |
| title_sub | 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings |
| topic | Programmverifikation (DE-588)4135576-3 gnd Systementwicklung (DE-588)4126945-7 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Programmverifikation Systementwicklung Automatisches Beweisverfahren Model Checking Softwarespezifikation Softwareentwicklung Konferenzschrift 2004 Barcelona |
| url | https://doi.org/10.1007/b96393 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT jensenkurt toolsandalgorithmsfortheconstructionandanalysisofsystems10thinternationalconferencetacas2004heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2004barcelonaspainmarch29april22004proceedings AT tacasbarcelona toolsandalgorithmsfortheconstructionandanalysisofsystems10thinternationalconferencetacas2004heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2004barcelonaspainmarch29april22004proceedings AT etapsbarcelona toolsandalgorithmsfortheconstructionandanalysisofsystems10thinternationalconferencetacas2004heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2004barcelonaspainmarch29april22004proceedings |