Hardware and software: verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : 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 | BV044662609 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 171201s2016 a||| |||| 10||| eng d | ||
| 020 | |a 9783319490519 |c Print |9 978-3-319-49051-9 | ||
| 035 | |a (DE-599)BVBBV044662609 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a DAT 190f |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 : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings |c Ofer Strichman, Rachel Tzoref-Brill (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 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 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 |
| 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 Strichman, Ofer |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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030060108 | ||
Datensatz im Suchindex
| _version_ | 1804178101347811328 |
|---|---|
| any_adam_object | |
| author2 | Strichman, Ofer |
| author2_role | edt |
| author2_variant | o s os |
| author_corporate | HVC Haifa |
| author_corporate_role | aut |
| author_facet | Strichman, Ofer HVC Haifa |
| author_sort | HVC Haifa |
| building | Verbundindex |
| bvnumber | BV044662609 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 325f DAT 190f |
| ctrlnum | (DE-599)BVBBV044662609 |
| 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>02541nam a2200661zcb4500</leader><controlfield tag="001">BV044662609</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">171201s2016 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">(DE-599)BVBBV044662609</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="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</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 330f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</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 : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings</subfield><subfield code="c">Ofer Strichman, Rachel Tzoref-Brill (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="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">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="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">Strichman, Ofer</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030060108</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044662609 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:58:37Z |
| institution | BVB |
| institution_GND | (DE-588)111874070X |
| isbn | 9783319490519 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030060108 |
| open_access_boolean | |
| 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 : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings Ofer Strichman, Rachel Tzoref-Brill (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 Programmverifikation (DE-588)4135576-3 gnd rswk-swf 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 (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 Strichman, Ofer 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 : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : 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 Programmverifikation (DE-588)4135576-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4214982-4 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)1071861417 |
| title | Hardware and software verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings |
| title_auth | Hardware and software verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings |
| title_exact_search | Hardware and software verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings |
| title_full | Hardware and software verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings Ofer Strichman, Rachel Tzoref-Brill (eds.) |
| title_fullStr | Hardware and software verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings Ofer Strichman, Rachel Tzoref-Brill (eds.) |
| title_full_unstemmed | Hardware and software verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : proceedings Ofer Strichman, Rachel Tzoref-Brill (eds.) |
| title_short | Hardware and software |
| title_sort | hardware and software verification and testing 13th international haifa verification conference hvc 2016 haifa israel november 13 15 2017 proceedings |
| title_sub | verification and testing : 13th International Haifa verification conference, HVC 2016, Haifa, Israel, November 13-15, 2017 : 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 Programmverifikation (DE-588)4135576-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 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 Programmverifikation Hardwareverifikation Model Checking Softwaretest Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hvchaifa hardwareandsoftwareverificationandtesting13thinternationalhaifaverificationconferencehvc2016haifaisraelnovember13152017proceedings AT strichmanofer hardwareandsoftwareverificationandtesting13thinternationalhaifaverificationconferencehvc2016haifaisraelnovember13152017proceedings |