Tools and algorithms for the construction and analysis of systems: 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2008
|
| Schriftenreihe: | Lecture Notes in Computer Science
4963 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVI, 518 S. graph. Darst. |
| ISBN: | 9783540787990 3540787992 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV023227460 | ||
| 003 | DE-604 | ||
| 005 | 20100118 | ||
| 007 | t | ||
| 008 | 080328s2008 gw d||| |||| 10||| eng d | ||
| 020 | |a 9783540787990 |9 978-3-540-78799-0 | ||
| 020 | |a 3540787992 |9 3-540-78799-2 | ||
| 035 | |a (OCoLC)229443295 | ||
| 035 | |a (DE-599)BVBBV023227460 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 082 | 0 | |a 005.1 |2 22 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |c C. R. Ramakrishnan ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XVI, 518 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 4963 | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a System design |v Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |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 Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Budapest |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 Ramakrishnan, C. R. |e Sonstige |4 oth | |
| 711 | 2 | |a TACAS |n 14 |d 2008 |c Budapest |j Sonstige |0 (DE-588)6520071-8 |4 oth | |
| 711 | 2 | |a ETAPS |n 11 |d 2008 |c Budapest |j Sonstige |0 (DE-588)6071240-5 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4963 |w (DE-604)BV000000607 |9 4963 | |
| 856 | 4 | 2 | |u http://d-nb.info/987618849/04 |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016413235 | ||
Datensatz im Suchindex
| _version_ | 1804137518361214976 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV023227460 |
| 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)229443295 (DE-599)BVBBV023227460 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02489nam a2200613 cb4500</leader><controlfield tag="001">BV023227460</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100118 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080328s2008 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540787990</subfield><subfield code="9">978-3-540-78799-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540787992</subfield><subfield code="9">3-540-78799-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)229443295</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023227460</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</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.1</subfield><subfield code="2">22</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">004</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">14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings</subfield><subfield code="c">C. R. Ramakrishnan ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 518 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">4963</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">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">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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</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">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">2008</subfield><subfield code="z">Budapest</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">Ramakrishnan, C. R.</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">14</subfield><subfield code="d">2008</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6520071-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">11</subfield><subfield code="d">2008</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6071240-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">4963</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4963</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://d-nb.info/987618849/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016413235</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Budapest gnd-content |
| genre_facet | Konferenzschrift 2008 Budapest |
| id | DE-604.BV023227460 |
| illustrated | Illustrated |
| index_date | 2024-07-02T20:18:36Z |
| indexdate | 2024-07-09T21:13:34Z |
| institution | BVB |
| institution_GND | (DE-588)6520071-8 (DE-588)6071240-5 |
| isbn | 9783540787990 3540787992 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016413235 |
| oclc_num | 229443295 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XVI, 518 S. graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| 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 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings C. R. Ramakrishnan ... (eds.) Berlin [u.a.] Springer 2008 XVI, 518 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4963 Computer software Development Congresses System design Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Budapest 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 Ramakrishnan, C. R. Sonstige oth TACAS 14 2008 Budapest Sonstige (DE-588)6520071-8 oth ETAPS 11 2008 Budapest Sonstige (DE-588)6071240-5 oth Lecture Notes in Computer Science 4963 (DE-604)BV000000607 4963 http://d-nb.info/987618849/04 Inhaltsverzeichnis |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings Lecture Notes in Computer Science Computer software Development Congresses System design Congresses Theoretische Informatik (DE-588)4196735-5 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4175841-9 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)4116522-6 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings C. R. Ramakrishnan ... (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings C. R. Ramakrishnan ... (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings C. R. Ramakrishnan ... (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 14th international conference tacas 2008 held as part of the joint european conferences on theory and practice of software etaps 2008 budapest hungary march 29 april 6 2008 proceedings |
| title_sub | 14th International Conference, TACAS 2008, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 ; proceedings |
| topic | Computer software Development Congresses System design Congresses Theoretische Informatik (DE-588)4196735-5 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Computer software Development Congresses System design Congresses Theoretische Informatik Programmanalyse Systementwicklung Model Checking Softwareentwicklung Konferenzschrift 2008 Budapest |
| url | http://d-nb.info/987618849/04 |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ramakrishnancr toolsandalgorithmsfortheconstructionandanalysisofsystems14thinternationalconferencetacas2008heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2008budapesthungarymarch29april62008proceedings AT tacasbudapest toolsandalgorithmsfortheconstructionandanalysisofsystems14thinternationalconferencetacas2008heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2008budapesthungarymarch29april62008proceedings AT etapsbudapest toolsandalgorithmsfortheconstructionandanalysisofsystems14thinternationalconferencetacas2008heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2008budapesthungarymarch29april62008proceedings |