Tools and algorithms for the construction and analysis of systems: 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1785 |
| Schlagworte: | |
| Beschreibung: | Literaturangaben. |
| Beschreibung: | XIV, 552 S. graph. Darst. |
| ISBN: | 3540672826 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013073864 | ||
| 003 | DE-604 | ||
| 005 | 20150528 | ||
| 007 | t| | ||
| 008 | 000307s2000 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 958520933 |2 DE-101 | |
| 020 | |a 3540672826 |9 3-540-67282-6 | ||
| 035 | |a (OCoLC)247709082 | ||
| 035 | |a (DE-599)BVBBV013073864 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-384 |a DE-824 |a DE-19 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 082 | 0 | |a 004.2/1 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |c Susanne Graf ; Michael Schwartzbach (ed.) |
| 246 | 1 | 3 | |a TACAS 2000 |
| 246 | 1 | 3 | |a ETAPS 2000 |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2000 | |
| 300 | |a XIV, 552 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 1785 | |
| 500 | |a Literaturangaben. | ||
| 650 | 4 | |a Softwareentwicklung - Kongress - Berlin <2000> | |
| 650 | 4 | |a Systementwicklung - Kongress - Berlin <2000> | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Berlin |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Graf, Susanne |d 1958- |e Sonstige |0 (DE-588)1071673769 |4 oth | |
| 711 | 2 | |a TACAS |n 6 |d 2000 |c Berlin |j Sonstige |0 (DE-588)2182080-6 |4 oth | |
| 711 | 2 | |a ETAPS |n 3 |d 2000 |c Berlin |j Sonstige |0 (DE-588)2182054-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1785 |w (DE-604)BV000000607 |9 1785 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008907941 | |
Datensatz im Suchindex
| _version_ | 1820874888364163072 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1071673769 |
| building | Verbundindex |
| bvnumber | BV013073864 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)247709082 (DE-599)BVBBV013073864 |
| 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">BV013073864</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150528</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000307s2000 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958520933</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540672826</subfield><subfield code="9">3-540-67282-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247709082</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013073864</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/1</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">6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings</subfield><subfield code="c">Susanne Graf ; Michael Schwartzbach (ed.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">TACAS 2000</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ETAPS 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 552 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">1785</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Kongress - Berlin <2000></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwicklung - Kongress - Berlin <2000></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">2000</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Graf, Susanne</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1071673769</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">6</subfield><subfield code="d">2000</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2182080-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">3</subfield><subfield code="d">2000</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2182054-5</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">1785</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1785</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008907941</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Berlin gnd-content |
| genre_facet | Konferenzschrift 2000 Berlin |
| id | DE-604.BV013073864 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:54Z |
| institution | BVB |
| institution_GND | (DE-588)2182080-6 (DE-588)2182054-5 |
| isbn | 3540672826 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008907941 |
| oclc_num | 247709082 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-384 DE-824 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-384 DE-824 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-706 |
| physical | XIV, 552 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| 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 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Susanne Graf ; Michael Schwartzbach (ed.) TACAS 2000 ETAPS 2000 Berlin [u.a.] Springer 2000 XIV, 552 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1785 Literaturangaben. Softwareentwicklung - Kongress - Berlin <2000> Systementwicklung - Kongress - Berlin <2000> Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Berlin gnd-content Softwareentwicklung (DE-588)4116522-6 s DE-604 Graf, Susanne 1958- Sonstige (DE-588)1071673769 oth TACAS 6 2000 Berlin Sonstige (DE-588)2182080-6 oth ETAPS 3 2000 Berlin Sonstige (DE-588)2182054-5 oth Lecture notes in computer science 1785 (DE-604)BV000000607 1785 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Lecture notes in computer science Softwareentwicklung - Kongress - Berlin <2000> Systementwicklung - Kongress - Berlin <2000> Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| title_alt | TACAS 2000 ETAPS 2000 |
| title_auth | Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Susanne Graf ; Michael Schwartzbach (ed.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Susanne Graf ; Michael Schwartzbach (ed.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Susanne Graf ; Michael Schwartzbach (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 6th international conference tacas 2000 held as part of the joint european conferences on theory and practice of software etaps 2000 berlin germany march 25 april 2 2000 proceedings |
| title_sub | 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| topic | Softwareentwicklung - Kongress - Berlin <2000> Systementwicklung - Kongress - Berlin <2000> Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Softwareentwicklung - Kongress - Berlin <2000> Systementwicklung - Kongress - Berlin <2000> Softwareentwicklung Konferenzschrift 2000 Berlin |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT grafsusanne toolsandalgorithmsfortheconstructionandanalysisofsystems6thinternationalconferencetacas2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT tacasberlin toolsandalgorithmsfortheconstructionandanalysisofsystems6thinternationalconferencetacas2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT etapsberlin toolsandalgorithmsfortheconstructionandanalysisofsystems6thinternationalconferencetacas2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT grafsusanne tacas2000 AT tacasberlin tacas2000 AT etapsberlin tacas2000 AT grafsusanne etaps2000 AT tacasberlin etaps2000 AT etapsberlin etaps2000 |