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: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1579 |
| Schlagworte: | |
| Beschreibung: | XI, 443 S. graph. Darst. |
| ISBN: | 3540657037 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012450637 | ||
| 003 | DE-604 | ||
| 005 | 19990422 | ||
| 007 | t | ||
| 008 | 990302s1999 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 955865981 |2 DE-101 | |
| 020 | |a 3540657037 |9 3-540-65703-7 | ||
| 035 | |a (OCoLC)40926014 | ||
| 035 | |a (DE-599)BVBBV012450637 | ||
| 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-521 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 082 | 0 | |a 004.2/1 |2 21 | |
| 084 | |a SS 1999 |0 (DE-625)143436: |2 rvk | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 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 XI, 443 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 1579 | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logiciels - Développement - Congrès | |
| 650 | 7 | |a Logiciels - Développement - Congrès |2 ram | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 4 | |a Systèmes, Conception de - Congrès | |
| 650 | 7 | |a Systèmes, Conception de - Congrès |2 ram | |
| 650 | 7 | |a analyse système |2 inriac | |
| 650 | 7 | |a conception système |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a outil logiciel |2 inriac | |
| 650 | 7 | |a système temps réel |2 inriac | |
| 650 | 4 | |a Logik | |
| 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)BV000000607 |9 1579 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008449350 | ||
Datensatz im Suchindex
| _version_ | 1804127089465491456 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)113103166 |
| building | Verbundindex |
| bvnumber | BV012450637 |
| 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 1999 SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)40926014 (DE-599)BVBBV012450637 |
| 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>02571nam a2200637 cb4500</leader><controlfield tag="001">BV012450637</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990422 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990302s1999 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">955865981</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540657037</subfield><subfield code="9">3-540-65703-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40926014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012450637</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-521</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="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 1999</subfield><subfield code="0">(DE-625)143436:</subfield><subfield code="2">rvk</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</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">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">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">1579</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Conception de - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Conception de - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">outil logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système temps réel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</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)BV000000607</subfield><subfield code="9">1579</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008449350</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 Amsterdam gnd-content |
| genre_facet | Konferenzschrift 1999 Amsterdam |
| id | DE-604.BV012450637 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:27:48Z |
| 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-008449350 |
| oclc_num | 40926014 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-521 DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-521 DE-634 DE-83 DE-188 DE-706 |
| physical | 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 XI, 443 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1579 Engenharia de programacao (software) larpcal Logica gtt Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Programacao de computadores larpcal Programmatuurtechniek gtt Systèmes, Conception de - Congrès Systèmes, Conception de - Congrès ram analyse système inriac conception système inriac méthode formelle inriac outil logiciel inriac système temps réel inriac Logik 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)BV000000607 1579 |
| 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 Engenharia de programacao (software) larpcal Logica gtt Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Programacao de computadores larpcal Programmatuurtechniek gtt Systèmes, Conception de - Congrès Systèmes, Conception de - Congrès ram analyse système inriac conception système inriac méthode formelle inriac outil logiciel inriac système temps réel inriac Logik 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_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 | Engenharia de programacao (software) larpcal Logica gtt Logiciels - Développement - Congrès Logiciels - Développement - Congrès ram Programacao de computadores larpcal Programmatuurtechniek gtt Systèmes, Conception de - Congrès Systèmes, Conception de - Congrès ram analyse système inriac conception système inriac méthode formelle inriac outil logiciel inriac système temps réel inriac Logik Computer software Development Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Engenharia de programacao (software) Logica Logiciels - Développement - Congrès Programacao de computadores Programmatuurtechniek Systèmes, Conception de - Congrès analyse système conception système méthode formelle outil logiciel système temps réel Logik Computer software Development Congresses System design Congresses Softwareentwicklung Konferenzschrift 1999 Amsterdam |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cleavelandwalterr toolsandalgorithmsfortheconstructionandanalysisofsystems5thinternationalconferencetacas99heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps99amsterdamthenetherlandsmarch22281999proceedings AT tacasamsterdam toolsandalgorithmsfortheconstructionandanalysisofsystems5thinternationalconferencetacas99heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps99amsterdamthenetherlandsmarch22281999proceedings AT etapsamsterdam toolsandalgorithmsfortheconstructionandanalysisofsystems5thinternationalconferencetacas99heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps99amsterdamthenetherlandsmarch22281999proceedings |