Verification, model checking, and abstract interpretation: third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in computer science
2294 |
| Schlagworte: | |
| Beschreibung: | VIII, 330 S. |
| ISBN: | 3540436316 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014243128 | ||
| 003 | DE-604 | ||
| 005 | 20031126 | ||
| 007 | t| | ||
| 008 | 020409s2002 gw |||| 10||| eng d | ||
| 016 | 7 | |a 964112761 |2 DE-101 | |
| 020 | |a 3540436316 |9 3-540-43631-6 | ||
| 035 | |a (OCoLC)49512834 | ||
| 035 | |a (DE-599)BVBBV014243128 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-824 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 005.1/4 |2 21 | |
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation |b third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers |c Agostino Cortesi (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a VIII, 330 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2294 | |
| 650 | 4 | |a Logiciels - Vérification - Congrès | |
| 650 | 7 | |a Logiciels - Vérification - Congrès |2 ram | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a interprétation abstraite |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a optimisation programme |2 inriac | |
| 650 | 7 | |a spécification programme |2 inriac | |
| 650 | 7 | |a système concurrent |2 inriac | |
| 650 | 7 | |a système réactif |2 inriac | |
| 650 | 7 | |a sémantique programme |2 inriac | |
| 650 | 7 | |a vérification modèle |2 inriac | |
| 650 | 7 | |a vérification programme |2 inriac | |
| 650 | 4 | |a Computer programs |x Verification |v Congresses | |
| 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 Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Venedig |2 gnd-content | |
| 689 | 0 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |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 Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Cortesi, Agostino |d 1963- |e Sonstige |0 (DE-588)121273229 |4 oth | |
| 711 | 2 | |a VMCAI |n 3 |d 2002 |c Venedig |j Sonstige |0 (DE-588)10035912-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2294 |w (DE-604)BV000000607 |9 2294 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009765877 | |
Datensatz im Suchindex
| _version_ | 1820874911080513536 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)121273229 |
| building | Verbundindex |
| bvnumber | BV014243128 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)49512834 (DE-599)BVBBV014243128 |
| dewey-full | 005.1/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/4 |
| dewey-search | 005.1/4 |
| dewey-sort | 15.1 14 |
| 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>00000nam a22000008cb4500</leader><controlfield tag="001">BV014243128</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031126</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020409s2002 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">964112761</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540436316</subfield><subfield code="9">3-540-43631-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49512834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014243128</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-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</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.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers</subfield><subfield code="c">Agostino Cortesi (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 330 S.</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">2294</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Vérification - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Vérification - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interprétation abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</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">optimisation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système concurrent</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système réactif</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification modèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-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">2002</subfield><subfield code="z">Venedig</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cortesi, Agostino</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121273229</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">3</subfield><subfield code="d">2002</subfield><subfield code="c">Venedig</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10035912-7</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">2294</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2294</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009765877</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Venedig gnd-content |
| genre_facet | Konferenzschrift 2002 Venedig |
| id | DE-604.BV014243128 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:15Z |
| institution | BVB |
| institution_GND | (DE-588)10035912-7 |
| isbn | 3540436316 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009765877 |
| oclc_num | 49512834 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-824 DE-83 DE-188 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-824 DE-83 DE-188 DE-706 |
| physical | VIII, 330 S. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers Agostino Cortesi (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 VIII, 330 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2294 Logiciels - Vérification - Congrès Logiciels - Vérification - Congrès ram analyse programme inriac interprétation abstraite inriac logique temporelle inriac méthode formelle inriac optimisation programme inriac spécification programme inriac système concurrent inriac système réactif inriac sémantique programme inriac vérification modèle inriac vérification programme inriac Computer programs Verification Congresses Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Venedig gnd-content Programmanalyse (DE-588)4175841-9 s DE-604 Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Abstrakte Interpretation (DE-588)4621153-6 s Cortesi, Agostino 1963- Sonstige (DE-588)121273229 oth VMCAI 3 2002 Venedig Sonstige (DE-588)10035912-7 oth Lecture notes in computer science 2294 (DE-604)BV000000607 2294 |
| spellingShingle | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers Lecture notes in computer science Logiciels - Vérification - Congrès Logiciels - Vérification - Congrès ram analyse programme inriac interprétation abstraite inriac logique temporelle inriac méthode formelle inriac optimisation programme inriac spécification programme inriac système concurrent inriac système réactif inriac sémantique programme inriac vérification modèle inriac vérification programme inriac Computer programs Verification Congresses Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| subject_GND | (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4621153-6 (DE-588)1071861417 |
| title | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers |
| title_auth | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers |
| title_exact_search | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers |
| title_full | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers Agostino Cortesi (ed.) |
| title_fullStr | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers Agostino Cortesi (ed.) |
| title_full_unstemmed | Verification, model checking, and abstract interpretation third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers Agostino Cortesi (ed.) |
| title_short | Verification, model checking, and abstract interpretation |
| title_sort | verification model checking and abstract interpretation third international workshop vmcai 2002 venice italy january 21 22 2002 revised papers |
| title_sub | third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers |
| topic | Logiciels - Vérification - Congrès Logiciels - Vérification - Congrès ram analyse programme inriac interprétation abstraite inriac logique temporelle inriac méthode formelle inriac optimisation programme inriac spécification programme inriac système concurrent inriac système réactif inriac sémantique programme inriac vérification modèle inriac vérification programme inriac Computer programs Verification Congresses Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| topic_facet | Logiciels - Vérification - Congrès analyse programme interprétation abstraite logique temporelle méthode formelle optimisation programme spécification programme système concurrent système réactif sémantique programme vérification modèle vérification programme Computer programs Verification Congresses Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2002 Venedig |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cortesiagostino verificationmodelcheckingandabstractinterpretationthirdinternationalworkshopvmcai2002veniceitalyjanuary21222002revisedpapers AT vmcaivenedig verificationmodelcheckingandabstractinterpretationthirdinternationalworkshopvmcai2002veniceitalyjanuary21222002revisedpapers |