Hardware and software: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
10028 |
| Schlagworte: | |
| Beschreibung: | XVI, 211 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319490519 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043972312 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 161220s2016 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319490519 |c Print |9 978-3-319-49051-9 | ||
| 035 | |a (OCoLC)964660223 | ||
| 035 | |a (DE-599)BVBBV043972312 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 190f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 111 | 2 | |a HVC |n 12. |d 2016 |c Haifa |j Verfasser |0 (DE-588)111874070X |4 aut | |
| 245 | 1 | 0 | |a Hardware and software |b verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings |c Roderick Bloem, Eli Arbel (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a XVI, 211 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10028 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |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 Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |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 | |
| 700 | 1 | |a Bloem, Roderick |0 (DE-588)1044944110 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-49052-6 |
| 830 | 0 | |a Lecture notes in computer science |v 10028 |w (DE-604)BV000000607 |9 10028 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029380868 | |
Datensatz im Suchindex
| _version_ | 1820875692711084032 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Bloem, Roderick |
| author2_role | edt |
| author2_variant | r b rb |
| author_GND | (DE-588)1044944110 |
| author_corporate | HVC Haifa |
| author_corporate_role | aut |
| author_facet | Bloem, Roderick HVC Haifa |
| author_sort | HVC Haifa |
| building | Verbundindex |
| bvnumber | BV043972312 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 190f DAT 325f |
| ctrlnum | (OCoLC)964660223 (DE-599)BVBBV043972312 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV043972312</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">161220s2016 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319490519</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-49051-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)964660223</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043972312</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">HVC</subfield><subfield code="n">12.</subfield><subfield code="d">2016</subfield><subfield code="c">Haifa</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)111874070X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hardware and software</subfield><subfield code="b">verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings</subfield><subfield code="c">Roderick Bloem, Eli Arbel (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 211 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">10028</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</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">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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="700" ind1="1" ind2=" "><subfield code="a">Bloem, Roderick</subfield><subfield code="0">(DE-588)1044944110</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-49052-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10028</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10028</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029380868</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043972312 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:41Z |
| institution | BVB |
| institution_GND | (DE-588)111874070X |
| isbn | 9783319490519 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029380868 |
| oclc_num | 964660223 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XVI, 211 Seiten Illustrationen, Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | HVC 12. 2016 Haifa Verfasser (DE-588)111874070X aut Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings Roderick Bloem, Eli Arbel (eds.) Cham Springer [2016] © 2016 XVI, 211 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10028 Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Computer Communication Networks Informatik Künstliche Intelligenz Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Hardwareverifikation (DE-588)4214982-4 s Programmverifikation (DE-588)4135576-3 s DE-604 Softwaretest (DE-588)4132652-0 s Model Checking (DE-588)4434799-6 s Bloem, Roderick (DE-588)1044944110 edt Erscheint auch als Online-Ausgabe 978-3-319-49052-6 Lecture notes in computer science 10028 (DE-604)BV000000607 10028 |
| spellingShingle | Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings Lecture notes in computer science Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Computer Communication Networks Informatik Künstliche Intelligenz Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4214982-4 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)1071861417 |
| title | Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings |
| title_auth | Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings |
| title_exact_search | Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings |
| title_full | Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings Roderick Bloem, Eli Arbel (eds.) |
| title_fullStr | Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings Roderick Bloem, Eli Arbel (eds.) |
| title_full_unstemmed | Hardware and software verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings Roderick Bloem, Eli Arbel (eds.) |
| title_short | Hardware and software |
| title_sort | hardware and software verification and testing 12th international haifa verification conference hvc 2016 haifa israel november 14 17 2016 proceedings |
| title_sub | verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings |
| topic | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Computer Communication Networks Informatik Künstliche Intelligenz Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Computer Communication Networks Informatik Künstliche Intelligenz Hardwareverifikation Model Checking Softwaretest Programmverifikation Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hvchaifa hardwareandsoftwareverificationandtesting12thinternationalhaifaverificationconferencehvc2016haifaisraelnovember14172016proceedings AT bloemroderick hardwareandsoftwareverificationandtesting12thinternationalhaifaverificationconferencehvc2016haifaisraelnovember14172016proceedings |