Tools and algorithms for the construction and analysis of systems: 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1579 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 Online-Ressource (XI, 443 S. graph. Darst.) |
| ISBN: | 3540657037 |
| DOI: | 10.1007/3-540-49059-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035064840 | ||
| 003 | DE-604 | ||
| 005 | 20080924 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 080923s1999 gw |||| o||u| ||||||eng d | ||
| 020 | |a 3540657037 |9 3-540-65703-7 | ||
| 024 | 7 | |a 10.1007/3-540-49059-0 |2 doi | |
| 035 | |a (OCoLC)45595770 | ||
| 035 | |a (DE-599)BVBBV035064840 | ||
| 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 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 082 | 0 | |a 004.2/1 |2 21 | |
| 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 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong |b Springer |c 1999 | |
| 300 | |a 1 Online-Ressource (XI, 443 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 1579 | |
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1999 |z Amsterdam |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cleaveland, Walter R. |d 1961- |e Sonstige |0 (DE-588)113103166 |4 oth | |
| 711 | 2 | |a TACAS |n 5 |d 1999 |c Amsterdam |j Sonstige |0 (DE-588)2175509-7 |4 oth | |
| 711 | 2 | |a ETAPS |n 2 |d 1999 |c Amsterdam |j Sonstige |0 (DE-588)2175336-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1579 |w (DE-604)BV014880109 |9 1579 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/3-540-49059-0 |3 Volltext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016733312 | ||
Datensatz im Suchindex
| _version_ | 1804138010751533056 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author_GND | (DE-588)113103166 |
| building | Verbundindex |
| bvnumber | BV035064840 |
| 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)45595770 (DE-599)BVBBV035064840 |
| 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 |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/3-540-49059-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01972nmm a2200469 cb4500</leader><controlfield tag="001">BV035064840</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080924 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080923s1999 gw |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540657037</subfield><subfield code="9">3-540-65703-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-49059-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45595770</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035064840</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="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">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">5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 443 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">1579</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1999</subfield><subfield code="z">Amsterdam</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">Cleaveland, Walter R.</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)113103166</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">5</subfield><subfield code="d">1999</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2175509-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">2</subfield><subfield code="d">1999</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2175336-2</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">1579</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1579</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-49059-0</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016733312</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 Amsterdam gnd-content |
| genre_facet | Konferenzschrift 1999 Amsterdam |
| id | DE-604.BV035064840 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T22:01:54Z |
| indexdate | 2024-07-09T21:21:24Z |
| institution | BVB |
| institution_GND | (DE-588)2175509-7 (DE-588)2175336-2 |
| isbn | 3540657037 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016733312 |
| oclc_num | 45595770 |
| 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 (XI, 443 S. graph. Darst.) |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| 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 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong Springer 1999 1 Online-Ressource (XI, 443 S. graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1579 Computer software Development Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Amsterdam gnd-content Softwareentwicklung (DE-588)4116522-6 s DE-604 Cleaveland, Walter R. 1961- Sonstige (DE-588)113103166 oth TACAS 5 1999 Amsterdam Sonstige (DE-588)2175509-7 oth ETAPS 2 1999 Amsterdam Sonstige (DE-588)2175336-2 oth Lecture notes in computer science 1579 (DE-604)BV014880109 1579 https://doi.org/10.1007/3-540-49059-0 Volltext |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings Lecture notes in computer science Computer software Development Congresses System design Congresses 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 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| title_short | Tools and algorithms for the construction and analysis of systems |
| title_sort | tools and algorithms for the construction and analysis of systems 5th international conference tacas 99 held as part of the joint european conferences on theory and practice of software etaps 99 amsterdam the netherlands march 22 28 1999 proceedings |
| title_sub | 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings |
| topic | Computer software Development Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Computer software Development Congresses System design Congresses Softwareentwicklung Konferenzschrift 1999 Amsterdam |
| url | https://doi.org/10.1007/3-540-49059-0 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT cleavelandwalterr toolsandalgorithmsfortheconstructionandanalysisofsystems5thinternationalconferencetacas99heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps99amsterdamthenetherlandsmarch22281999proceedings AT tacasamsterdam toolsandalgorithmsfortheconstructionandanalysisofsystems5thinternationalconferencetacas99heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps99amsterdamthenetherlandsmarch22281999proceedings AT etapsamsterdam toolsandalgorithmsfortheconstructionandanalysisofsystems5thinternationalconferencetacas99heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps99amsterdamthenetherlandsmarch22281999proceedings |