Tools and algorithms for the construction and analysis of systems: 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2280 |
| Schlagworte: | |
| Beschreibung: | XIII, 482 S. graph. Darst. |
| ISBN: | 3540434194 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014200795 | ||
| 003 | DE-604 | ||
| 005 | 20031210 | ||
| 007 | t| | ||
| 008 | 020312s2002 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 963892096 |2 DE-101 | |
| 020 | |a 3540434194 |9 3-540-43419-4 | ||
| 035 | |a (OCoLC)49312623 | ||
| 035 | |a (DE-599)BVBBV014200795 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-824 |a DE-473 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 082 | 0 | |a 004.2/1 |2 21 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings |c Joose-Pieter Katoen ; Perdita Stevens (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a XIII, 482 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 2280 | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a System design |v Congresses | |
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Grenoble |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 | |
| 700 | 1 | |a Katoen, Joost-Pieter |d 1964- |e Sonstige |0 (DE-588)12099996X |4 oth | |
| 711 | 2 | |a TACAS |n 8 |d 2002 |c Grenoble |j Sonstige |0 (DE-588)16029607-9 |4 oth | |
| 711 | 2 | |a ETAPS |n 5 |d 2002 |c Grenoble |j Sonstige |0 (DE-588)10034159-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2280 |w (DE-604)BV000000607 |9 2280 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009735107 | |
Datensatz im Suchindex
| _version_ | 1820874910607605760 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)12099996X |
| building | Verbundindex |
| bvnumber | BV014200795 |
| 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)49312623 (DE-599)BVBBV014200795 |
| dewey-full | 004.2/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2/1 |
| dewey-search | 004.2/1 |
| dewey-sort | 14.2 11 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV014200795</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031210</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020312s2002 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963892096</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540434194</subfield><subfield code="9">3-540-43419-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49312623</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014200795</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</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">004.2/1</subfield><subfield code="2">21</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">8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings</subfield><subfield code="c">Joose-Pieter Katoen ; Perdita Stevens (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 482 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">2280</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><subfield code="v">Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2002</subfield><subfield code="z">Grenoble</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="700" ind1="1" ind2=" "><subfield code="a">Katoen, Joost-Pieter</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12099996X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">8</subfield><subfield code="d">2002</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16029607-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">5</subfield><subfield code="d">2002</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10034159-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">2280</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2280</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009735107</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2002 Grenoble |
| id | DE-604.BV014200795 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:15Z |
| institution | BVB |
| institution_GND | (DE-588)16029607-9 (DE-588)10034159-7 |
| isbn | 3540434194 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009735107 |
| oclc_num | 49312623 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-473 DE-BY-UBG DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-473 DE-BY-UBG DE-83 DE-706 |
| physical | XIII, 482 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| 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 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings Joose-Pieter Katoen ; Perdita Stevens (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 XIII, 482 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2280 Computer software Development Congresses System design Congresses 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 (DE-588)1071861417 Konferenzschrift 2002 Grenoble gnd-content Systementwicklung (DE-588)4126945-7 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Model Checking (DE-588)4434799-6 s Katoen, Joost-Pieter 1964- Sonstige (DE-588)12099996X oth TACAS 8 2002 Grenoble Sonstige (DE-588)16029607-9 oth ETAPS 5 2002 Grenoble Sonstige (DE-588)10034159-7 oth Lecture notes in computer science 2280 (DE-604)BV000000607 2280 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings Lecture notes in computer science Computer software Development Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings Joose-Pieter Katoen ; Perdita Stevens (ed.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings Joose-Pieter Katoen ; Perdita Stevens (ed.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings Joose-Pieter Katoen ; Perdita Stevens (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 8th international conference tacas 2002 held as part of the joint european conferences on theory and practice of software etaps 2002 grenoble france april 8 12 2002 proceedings |
| title_sub | 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002 ; proceedings |
| topic | Computer software Development Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
| topic_facet | Computer software Development Congresses System design Congresses Softwareentwicklung Systementwicklung Model Checking Konferenzschrift 2002 Grenoble |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT katoenjoostpieter toolsandalgorithmsfortheconstructionandanalysisofsystems8thinternationalconferencetacas2002heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2002grenoblefranceapril8122002proceedings AT tacasgrenoble toolsandalgorithmsfortheconstructionandanalysisofsystems8thinternationalconferencetacas2002heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2002grenoblefranceapril8122002proceedings AT etapsgrenoble toolsandalgorithmsfortheconstructionandanalysisofsystems8thinternationalconferencetacas2002heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2002grenoblefranceapril8122002proceedings |