Computer aided verification: 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
1999
|
| Series: | Lecture notes in computer science
1633 |
| Subjects: | |
| Physical Description: | XII, 506 S. Ill., graph. Darst. |
| ISBN: | 3540662022 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012618037 | ||
| 003 | DE-604 | ||
| 005 | 19990706 | ||
| 007 | t| | ||
| 008 | 990615s1999 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 956572308 |2 DE-101 | |
| 020 | |a 3540662022 |9 3-540-66202-2 | ||
| 035 | |a (OCoLC)41926351 | ||
| 035 | |a (DE-599)BVBBV012618037 | ||
| 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-521 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.76.V37 | |
| 082 | 0 | |a 004.24 |2 21 | |
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Computer aided verification |b 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings |c Nicolas Halbwachs ; Doron Peled (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 1999 | |
| 300 | |a XII, 506 S. |b Ill., 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 1633 | |
| 650 | 7 | |a Circuits intégrés - Essais - Congrès |2 ram | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Logiciels - Essais - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Vérification - Congrès | |
| 650 | 4 | |a Méthodes formelles (Informatique) - Congrès | |
| 650 | 7 | |a Software |2 gtt | |
| 650 | 7 | |a Verificatie |2 gtt | |
| 650 | 7 | |a automate |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a méthode vérification |2 inriac | |
| 650 | 7 | |a testabilité |2 inriac | |
| 650 | 7 | |a vérification automatique |2 inriac | |
| 650 | 7 | |a vérification matériel |2 inriac | |
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 4 | |a Integrated circuits |x Verification |v Congresses | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1999 |z Trient |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Halbwachs, Nicolas |e Sonstige |4 oth | |
| 711 | 2 | |a CAV |n 11 |d 1999 |c Trient |j Sonstige |0 (DE-588)2177478-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1633 |w (DE-604)BV000000607 |9 1633 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008570949 | |
Record in the Search Index
| _version_ | 1820868387072376832 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV012618037 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V37 |
| callnumber-search | QA76.76.V37 |
| callnumber-sort | QA 276.76 V37 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1999 SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)41926351 (DE-599)BVBBV012618037 |
| dewey-full | 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.24 |
| dewey-search | 004.24 |
| dewey-sort | 14.24 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV012618037</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990706</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">990615s1999 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">956572308</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540662022</subfield><subfield code="9">3-540-66202-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41926351</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012618037</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-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.76.V37</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings</subfield><subfield code="c">Nicolas Halbwachs ; Doron Peled (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">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 506 S.</subfield><subfield code="b">Ill., 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">1633</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Circuits intégrés - Essais - Congrès</subfield><subfield code="2">ram</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">Logiciels - Essais - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Vérification - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">automate</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 vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">testabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification matériel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Trient</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Halbwachs, Nicolas</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">11</subfield><subfield code="d">1999</subfield><subfield code="c">Trient</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2177478-X</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">1633</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1633</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008570949</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 Trient gnd-content |
| genre_facet | Konferenzschrift 1999 Trient |
| id | DE-604.BV012618037 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:23:33Z |
| institution | BVB |
| institution_GND | (DE-588)2177478-X |
| isbn | 3540662022 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008570949 |
| oclc_num | 41926351 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-824 DE-521 DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-824 DE-521 DE-634 DE-83 DE-188 DE-706 |
| physical | XII, 506 S. Ill., 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 | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Nicolas Halbwachs ; Doron Peled (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 1999 XII, 506 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1633 Circuits intégrés - Essais - Congrès ram Engenharia de programacao (software) larpcal Logiciels - Essais - Congrès ram Logiciels - Vérification - Congrès Méthodes formelles (Informatique) - Congrès Software gtt Verificatie gtt automate inriac logique temporelle inriac méthode vérification inriac testabilité inriac vérification automatique inriac vérification matériel inriac Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Trient gnd-content Verifikation (DE-588)4135577-5 s DE-604 Halbwachs, Nicolas Sonstige oth CAV 11 1999 Trient Sonstige (DE-588)2177478-X oth Lecture notes in computer science 1633 (DE-604)BV000000607 1633 |
| spellingShingle | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Lecture notes in computer science Circuits intégrés - Essais - Congrès ram Engenharia de programacao (software) larpcal Logiciels - Essais - Congrès ram Logiciels - Vérification - Congrès Méthodes formelles (Informatique) - Congrès Software gtt Verificatie gtt automate inriac logique temporelle inriac méthode vérification inriac testabilité inriac vérification automatique inriac vérification matériel inriac Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)1071861417 |
| title | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings |
| title_auth | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings |
| title_exact_search | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings |
| title_full | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Nicolas Halbwachs ; Doron Peled (ed.) |
| title_fullStr | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Nicolas Halbwachs ; Doron Peled (ed.) |
| title_full_unstemmed | Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings Nicolas Halbwachs ; Doron Peled (ed.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 11th international conference cav 99 trento italy july 6 10 1999 proceedings |
| title_sub | 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings |
| topic | Circuits intégrés - Essais - Congrès ram Engenharia de programacao (software) larpcal Logiciels - Essais - Congrès ram Logiciels - Vérification - Congrès Méthodes formelles (Informatique) - Congrès Software gtt Verificatie gtt automate inriac logique temporelle inriac méthode vérification inriac testabilité inriac vérification automatique inriac vérification matériel inriac Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Circuits intégrés - Essais - Congrès Engenharia de programacao (software) Logiciels - Essais - Congrès Logiciels - Vérification - Congrès Méthodes formelles (Informatique) - Congrès Software Verificatie automate logique temporelle méthode vérification testabilité vérification automatique vérification matériel Computer software Verification Congresses Integrated circuits Verification Congresses Verifikation Konferenzschrift 1999 Trient |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT halbwachsnicolas computeraidedverification11thinternationalconferencecav99trentoitalyjuly6101999proceedings AT cavtrient computeraidedverification11thinternationalconferencecav99trentoitalyjuly6101999proceedings |