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: | Tagungsbericht Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
2988 |
| Schlagworte: | |
| Beschreibung: | XIV, 608 S. graph. Darst. |
| ISBN: | 354021299X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017958858 | ||
| 003 | DE-604 | ||
| 005 | 20040514 | ||
| 007 | t| | ||
| 008 | 040323s2004 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 970624344 |2 DE-101 | |
| 020 | |a 354021299X |9 3-540-21299-X | ||
| 035 | |a (OCoLC)54542875 | ||
| 035 | |a (DE-599)BVBBV017958858 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-29T |a DE-384 |a DE-91G |a DE-824 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 082 | 0 | |a 005.1/2 |2 22 | |
| 084 | |a 004 |2 sdnb | ||
| 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 XIV, 608 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2988 | |
| 650 | 7 | |a Analyse de système |2 rasuqam | |
| 650 | 7 | |a Conception de systèmes |2 rasuqam | |
| 650 | 7 | |a Développement de logiciels |2 rasuqam | |
| 650 | 4 | |a Logiciels - Développement - Congrès | |
| 650 | 4 | |a Systèmes, Conception de | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a System design | |
| 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 Softwarespezifikation |0 (DE-588)4056186-0 |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 Programmverifikation |0 (DE-588)4135576-3 |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 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)BV000000607 |9 2988 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010764132 | |
Datensatz im Suchindex
| _version_ | 1820874933128921088 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV017958858 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S88 |
| callnumber-search | QA76.9.S88 |
| callnumber-sort | QA 276.9 S88 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)54542875 (DE-599)BVBBV017958858 |
| dewey-full | 005.1/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/2 |
| dewey-search | 005.1/2 |
| dewey-sort | 15.1 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| 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">BV017958858</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040514</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">040323s2004 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">970624344</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354021299X</subfield><subfield code="9">3-540-21299-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54542875</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017958858</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-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S88</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">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">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">2988</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse de système</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception de systèmes</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Développement de logiciels</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Conception de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</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">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">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">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">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">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)BV000000607</subfield><subfield code="9">2988</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010764132</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2004 Barcelona gnd-content |
| genre_facet | Konferenzschrift 2004 Barcelona |
| id | DE-604.BV017958858 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:36Z |
| 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-010764132 |
| oclc_num | 54542875 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-384 DE-91G DE-BY-TUM DE-824 DE-11 DE-706 |
| owner_facet | DE-739 DE-29T DE-384 DE-91G DE-BY-TUM DE-824 DE-11 DE-706 |
| physical | XIV, 608 S. graph. Darst. |
| 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 XIV, 608 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2988 Analyse de système rasuqam Conception de systèmes rasuqam Développement de logiciels rasuqam Logiciels - Développement - Congrès Systèmes, Conception de Computer software Development Congresses System design Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 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)BV000000607 2988 |
| 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 Analyse de système rasuqam Conception de systèmes rasuqam Développement de logiciels rasuqam Logiciels - Développement - Congrès Systèmes, Conception de Computer software Development Congresses System design Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4056186-0 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4069034-9 (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_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 | Analyse de système rasuqam Conception de systèmes rasuqam Développement de logiciels rasuqam Logiciels - Développement - Congrès Systèmes, Conception de Computer software Development Congresses System design Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd |
| topic_facet | Analyse de système Conception de systèmes Développement de logiciels Logiciels - Développement - Congrès Systèmes, Conception de Computer software Development Congresses System design Softwareentwicklung Systementwicklung Softwarespezifikation Model Checking Programmverifikation Automatisches Beweisverfahren Konferenzschrift 2004 Barcelona |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jensenkurt toolsandalgorithmsfortheconstructionandanalysisofsystems10thinternationalconferencetacas2004heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2004barcelonaspainmarch29april22004proceedings AT tacasbarcelona toolsandalgorithmsfortheconstructionandanalysisofsystems10thinternationalconferencetacas2004heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2004barcelonaspainmarch29april22004proceedings AT etapsbarcelona toolsandalgorithmsfortheconstructionandanalysisofsystems10thinternationalconferencetacas2004heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2004barcelonaspainmarch29april22004proceedings |