Tools and algorithms for the construction and analysis of systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
| Schriftenreihe: | Lecture Notes in Computer Science
4424 |
| Schlagworte: | |
| Beschreibung: | XX, 738 S. graph. Darst. |
| ISBN: | 9783540712084 3540712089 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022398619 | ||
| 003 | DE-604 | ||
| 005 | 20170309 | ||
| 007 | t | ||
| 008 | 070424s2007 gw d||| |||| 10||| eng d | ||
| 015 | |a 07,N10,0043 |2 dnb | ||
| 016 | 7 | |a 983129363 |2 DE-101 | |
| 020 | |a 9783540712084 |c : ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.) |9 978-3-540-71208-4 | ||
| 020 | |a 3540712089 |c : ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.) |9 3-540-71208-9 | ||
| 024 | 3 | |a 9783540712084 | |
| 028 | 5 | 2 | |a 12029204 |
| 035 | |a (OCoLC)633448730 | ||
| 035 | |a (DE-599)BVBBV022398619 | ||
| 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 | ||
| 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 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |c Orna Grumberg ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a XX, 738 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 4424 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Braga |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 Grumberg, Orna |4 edt | |
| 711 | 2 | |a TACAS |n 13 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063719-5 |4 oth | |
| 711 | 2 | |a ETAPS |n 10 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063710-9 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4424 |w (DE-604)BV000000607 |9 4424 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015607324 | ||
Datensatz im Suchindex
| _version_ | 1804136459449401344 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Grumberg, Orna |
| author2_role | edt |
| author2_variant | o g og |
| author_facet | Grumberg, Orna |
| building | Verbundindex |
| bvnumber | BV022398619 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)633448730 (DE-599)BVBBV022398619 |
| 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 |
| 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>02508nam a2200613 cb4500</leader><controlfield tag="001">BV022398619</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170309 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070424s2007 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N10,0043</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983129363</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540712084</subfield><subfield code="c">: ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)</subfield><subfield code="9">978-3-540-71208-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540712089</subfield><subfield code="c">: ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)</subfield><subfield code="9">3-540-71208-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540712084</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12029204</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633448730</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022398619</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="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">13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings</subfield><subfield code="c">Orna Grumberg ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 738 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">4424</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">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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Braga</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">Grumberg, Orna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">13</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063719-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">10</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063710-9</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">4424</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4424</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015607324</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2007 Braga gnd-content |
| genre_facet | Konferenzschrift 2007 Braga |
| id | DE-604.BV022398619 |
| illustrated | Illustrated |
| index_date | 2024-07-02T17:17:30Z |
| indexdate | 2024-07-09T20:56:44Z |
| institution | BVB |
| institution_GND | (DE-588)6063719-5 (DE-588)6063710-9 |
| isbn | 9783540712084 3540712089 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015607324 |
| oclc_num | 633448730 |
| 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 | XX, 738 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| 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 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (eds.) Berlin [u.a.] Springer 2007 XX, 738 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4424 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Braga 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 Grumberg, Orna edt TACAS 13 2007 Braga Sonstige (DE-588)6063719-5 oth ETAPS 10 2007 Braga Sonstige (DE-588)6063710-9 oth Lecture Notes in Computer Science 4424 (DE-604)BV000000607 4424 |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Lecture Notes in Computer Science Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4116522-6 (DE-588)4434799-6 (DE-588)4175841-9 (DE-588)4126945-7 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (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 13th international conference tacas 2007 held as part of the joint european conferences on theory and practice of software etaps 2007 braga portugal march 24 april 1 2007 proceedings |
| title_sub | 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd |
| topic_facet | Theoretische Informatik Softwareentwicklung Model Checking Programmanalyse Systementwicklung Konferenzschrift 2007 Braga |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT grumbergorna toolsandalgorithmsfortheconstructionandanalysisofsystems13thinternationalconferencetacas2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT tacasbraga toolsandalgorithmsfortheconstructionandanalysisofsystems13thinternationalconferencetacas2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT etapsbraga toolsandalgorithmsfortheconstructionandanalysisofsystems13thinternationalconferencetacas2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings |