Tools and algorithms for the construction and analysis of systems: 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2001
|
| Schriftenreihe: | Lecture notes in computer science
2031 |
| Schlagworte: | |
| Online-Zugang: | TUM01 UBA01 UBM01 UBY01 UPA01 Volltext |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XIV, 588 S.) |
| ISBN: | 3540418652 3540453199 |
| DOI: | 10.1007/3-540-45319-9 |
Internformat
MARC
| LEADER | 00000nmm a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV035251474 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 090116s2001 gw |||| o||u| ||||||eng d | ||
| 020 | |a 3540418652 |9 3-540-41865-2 | ||
| 020 | |a 3540453199 |c Online |9 3-540-45319-9 | ||
| 024 | 7 | |a 10.1007/3-540-45319-9 |2 doi | |
| 035 | |a (OCoLC)699828410 | ||
| 035 | |a (DE-599)BVBBV035251474 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 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 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings |c Tiziana Margaria ; Wang Yi (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a 1 Online-Ressource (XIV, 588 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2031 | |
| 500 | |a Literaturangaben | ||
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Genua |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 | |
| 700 | 1 | |a Margaria, Tiziana |e Sonstige |4 oth | |
| 711 | 2 | |a TACAS |n 7 |d 2001 |c Genua |j Sonstige |0 (DE-588)10016894-2 |4 oth | |
| 711 | 2 | |a ETAPS |n 4 |d 2001 |c Genua |j Sonstige |0 (DE-588)10016878-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2031 |w (DE-604)BV014880109 |9 2031 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/3-540-45319-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017057107 | ||
| 966 | e | |u https://doi.org/10.1007/3-540-45319-9 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-45319-9 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-45319-9 |l UBM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-45319-9 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-45319-9 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804138530537996288 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV035251474 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)699828410 (DE-599)BVBBV035251474 |
| discipline | Informatik |
| doi_str_mv | 10.1007/3-540-45319-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02458nmm a22005538cb4500</leader><controlfield tag="001">BV035251474</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">090116s2001 gw |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540418652</subfield><subfield code="9">3-540-41865-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540453199</subfield><subfield code="c">Online</subfield><subfield code="9">3-540-45319-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-45319-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699828410</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035251474</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-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">7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings</subfield><subfield code="c">Tiziana Margaria ; Wang Yi (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 588 S.)</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">2031</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Genua</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="700" ind1="1" ind2=" "><subfield code="a">Margaria, Tiziana</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">7</subfield><subfield code="d">2001</subfield><subfield code="c">Genua</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10016894-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">4</subfield><subfield code="d">2001</subfield><subfield code="c">Genua</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10016878-4</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">2031</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2031</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-45319-9</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-017057107</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-45319-9</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/3-540-45319-9</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/3-540-45319-9</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/3-540-45319-9</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/3-540-45319-9</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 2001 Genua gnd-content |
| genre_facet | Konferenzschrift 2001 Genua |
| id | DE-604.BV035251474 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T21:29:39Z |
| institution | BVB |
| institution_GND | (DE-588)10016894-2 (DE-588)10016878-4 |
| isbn | 3540418652 3540453199 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017057107 |
| oclc_num | 699828410 |
| 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, 588 S.) |
| psigel | ZDB-2-LNC |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| 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 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings Tiziana Margaria ; Wang Yi (eds.) Berlin [u.a.] Springer 2001 1 Online-Ressource (XIV, 588 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2031 Literaturangaben Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Genua gnd-content Systementwicklung (DE-588)4126945-7 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Margaria, Tiziana Sonstige oth TACAS 7 2001 Genua Sonstige (DE-588)10016894-2 oth ETAPS 4 2001 Genua Sonstige (DE-588)10016878-4 oth Lecture notes in computer science 2031 (DE-604)BV014880109 2031 https://doi.org/10.1007/3-540-45319-9 Verlag Volltext |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings Tiziana Margaria ; Wang Yi (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings Tiziana Margaria ; Wang Yi (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings Tiziana Margaria ; Wang Yi (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 7th international conference tacas 2001 held as part of the joint european conferences on theory and practice of software etaps 2001 genova italy april 2 6 2001 proceedings |
| title_sub | 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 ; proceedings |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd |
| topic_facet | Softwareentwicklung Systementwicklung Konferenzschrift 2001 Genua |
| url | https://doi.org/10.1007/3-540-45319-9 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT margariatiziana toolsandalgorithmsfortheconstructionandanalysisofsystems7thinternationalconferencetacas2001heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2001genovaitalyapril262001proceedings AT tacasgenua toolsandalgorithmsfortheconstructionandanalysisofsystems7thinternationalconferencetacas2001heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2001genovaitalyapril262001proceedings AT etapsgenua toolsandalgorithmsfortheconstructionandanalysisofsystems7thinternationalconferencetacas2001heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2001genovaitalyapril262001proceedings |