Tools and algorithms for the construction and analysis of systems: 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5505 |
| Schlagworte: | |
| Beschreibung: | XVI, 456 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3642007678 9783642007675 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035384320 | ||
| 003 | DE-604 | ||
| 005 | 20090603 | ||
| 007 | t | ||
| 008 | 090320s2009 d||| |||| 10||| eng d | ||
| 015 | |a 09N100099 |2 dnb | ||
| 016 | 7 | |a 992652448 |2 DE-101 | |
| 020 | |a 3642007678 |c PB. : EUR 65.22 (freier Pr.), sfr 101.50 (freier Pr.) |9 3-642-00767-8 | ||
| 020 | |a 9783642007675 |c PB. : EUR 65.22 (freier Pr.), sfr 101.50 (freier Pr.) |9 978-3-642-00767-5 | ||
| 035 | |a (OCoLC)316828838 | ||
| 035 | |a (DE-599)DNB992652448 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 082 | 0 | |a 005.12 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings |c Stefan Kowalewski ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XVI, 456 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5505 | |
| 650 | 4 | |a Model Checking - Kongress - York <2009> | |
| 650 | 4 | |a Programmanalyse - Kongress - York <2009> | |
| 650 | 4 | |a Softwareentwicklung - Kongress - York <2009> | |
| 650 | 4 | |a Systementwicklung - Kongress - York <2009> | |
| 650 | 4 | |a Theoretische Informatik - Kongress - York <2009> | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a System analysis |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 Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |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 2009 |z York |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 | |
| 689 | 3 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Kowalewski, Stefan |e Sonstige |4 oth | |
| 711 | 2 | |a TACAS |n 15 |d 2009 |c York |j Sonstige |0 (DE-588)16003600-8 |4 oth | |
| 711 | 2 | |a ETAPS |n 12 |d 2009 |c York |j Sonstige |0 (DE-588)16003502-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5505 |w (DE-604)BV000000607 |9 5505 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017188536 | ||
Datensatz im Suchindex
| _version_ | 1804138715290796032 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV035384320 |
| 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)316828838 (DE-599)DNB992652448 |
| dewey-full | 005.12 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.12 |
| dewey-search | 005.12 |
| dewey-sort | 15.12 |
| 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>02903nam a2200685 cb4500</leader><controlfield tag="001">BV035384320</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090603 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090320s2009 d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09N100099</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992652448</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642007678</subfield><subfield code="c">PB. : EUR 65.22 (freier Pr.), sfr 101.50 (freier Pr.)</subfield><subfield code="9">3-642-00767-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642007675</subfield><subfield code="c">PB. : EUR 65.22 (freier Pr.), sfr 101.50 (freier Pr.)</subfield><subfield code="9">978-3-642-00767-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316828838</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992652448</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">005.12</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</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">15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings</subfield><subfield code="c">Stefan Kowalewski ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 456 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5505</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Kongress - York <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmanalyse - Kongress - York <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Kongress - York <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwicklung - Kongress - York <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik - Kongress - York <2009></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 analysis</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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">2009</subfield><subfield code="z">York</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="689" ind1="3" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kowalewski, Stefan</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">15</subfield><subfield code="d">2009</subfield><subfield code="c">York</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16003600-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">12</subfield><subfield code="d">2009</subfield><subfield code="c">York</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16003502-8</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">5505</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5505</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017188536</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 York gnd-content |
| genre_facet | Konferenzschrift 2009 York |
| id | DE-604.BV035384320 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:32:35Z |
| institution | BVB |
| institution_GND | (DE-588)16003600-8 (DE-588)16003502-8 |
| isbn | 3642007678 9783642007675 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017188536 |
| oclc_num | 316828838 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | XVI, 456 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| 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 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings Stefan Kowalewski ... (eds.) Berlin [u.a.] Springer 2009 XVI, 456 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5505 Model Checking - Kongress - York <2009> Programmanalyse - Kongress - York <2009> Softwareentwicklung - Kongress - York <2009> Systementwicklung - Kongress - York <2009> Theoretische Informatik - Kongress - York <2009> Computer software Development Congresses System analysis Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 York gnd-content Systementwicklung (DE-588)4126945-7 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Model Checking (DE-588)4434799-6 s Programmanalyse (DE-588)4175841-9 s Theoretische Informatik (DE-588)4196735-5 s Kowalewski, Stefan Sonstige oth TACAS 15 2009 York Sonstige (DE-588)16003600-8 oth ETAPS 12 2009 York Sonstige (DE-588)16003502-8 oth Lecture notes in computer science 5505 (DE-604)BV000000607 5505 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings Lecture notes in computer science Model Checking - Kongress - York <2009> Programmanalyse - Kongress - York <2009> Softwareentwicklung - Kongress - York <2009> Systementwicklung - Kongress - York <2009> Theoretische Informatik - Kongress - York <2009> Computer software Development Congresses System analysis Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Systementwicklung (DE-588)4126945-7 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4196735-5 (DE-588)4126945-7 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings Stefan Kowalewski ... (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings Stefan Kowalewski ... (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings Stefan Kowalewski ... (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 15th international conference tacas 2009 held as part of the joint european conferences on theory and practice of software etaps 2009 york uk march 22 29 2009 proceedings |
| title_sub | 15th International Conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings |
| topic | Model Checking - Kongress - York <2009> Programmanalyse - Kongress - York <2009> Softwareentwicklung - Kongress - York <2009> Systementwicklung - Kongress - York <2009> Theoretische Informatik - Kongress - York <2009> Computer software Development Congresses System analysis Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd Systementwicklung (DE-588)4126945-7 gnd |
| topic_facet | Model Checking - Kongress - York <2009> Programmanalyse - Kongress - York <2009> Softwareentwicklung - Kongress - York <2009> Systementwicklung - Kongress - York <2009> Theoretische Informatik - Kongress - York <2009> Computer software Development Congresses System analysis Congresses System design Congresses Softwareentwicklung Programmanalyse Model Checking Theoretische Informatik Systementwicklung Konferenzschrift 2009 York |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kowalewskistefan toolsandalgorithmsfortheconstructionandanalysisofsystems15thinternationalconferencetacas2009heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2009yorkukmarch22292009proceedings AT tacasyork toolsandalgorithmsfortheconstructionandanalysisofsystems15thinternationalconferencetacas2009heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2009yorkukmarch22292009proceedings AT etapsyork toolsandalgorithmsfortheconstructionandanalysisofsystems15thinternationalconferencetacas2009heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2009yorkukmarch22292009proceedings |