Hardware and software: verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
100629 |
| Schlagworte: | |
| Beschreibung: | XXII,252 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319703886 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044662857 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 171201s2017 a||| |||| 10||| eng d | ||
| 020 | |a 9783319703886 |9 978-3319-70388-6 | ||
| 035 | |a (OCoLC)1013885495 | ||
| 035 | |a (DE-599)BVBBV044662857 | ||
| 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 SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 190f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 111 | 2 | |a HVC |n 13. |d 2017 |c Haifa |j Verfasser |0 (DE-588)1147649170 |4 aut | |
| 245 | 1 | 0 | |a Hardware and software |b verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings |c Ofer Strichman, Rachel Tzoref-Brill (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a XXII,252 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 100629 | |
| 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 Softwaretest |0 (DE-588)4132652-0 |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 Hardwareverifikation |0 (DE-588)4214982-4 |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 Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 1 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | |8 1\p |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-70389-3 |
| 830 | 0 | |a Lecture notes in computer science |v 100629 |w (DE-604)BV000000607 |9 10629 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030060353 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804178101755707392 |
|---|---|
| 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 | BV044662857 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 190f DAT 325f |
| ctrlnum | (OCoLC)1013885495 (DE-599)BVBBV044662857 |
| 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>02735nam a2200709zcb4500</leader><controlfield tag="001">BV044662857</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">171201s2017 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319703886</subfield><subfield code="9">978-3319-70388-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1013885495</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044662857</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">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 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">13.</subfield><subfield code="d">2017</subfield><subfield code="c">Haifa</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1147649170</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 2017, 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">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII,252 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">100629</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">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">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">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">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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="2"><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="8">1\p</subfield><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-70389-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">100629</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10629</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030060353</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044662857 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:58:37Z |
| institution | BVB |
| institution_GND | (DE-588)1147649170 |
| isbn | 9783319703886 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030060353 |
| oclc_num | 1013885495 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XXII,252 Seiten Illustrationen, Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | HVC 13. 2017 Haifa Verfasser (DE-588)1147649170 aut Hardware and software verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings Ofer Strichman, Rachel Tzoref-Brill (eds.) Cham Springer [2017] © 2017 XXII,252 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 100629 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 Softwaretest (DE-588)4132652-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Model Checking (DE-588)4434799-6 s DE-604 Hardwareverifikation (DE-588)4214982-4 s Programmverifikation (DE-588)4135576-3 s Softwaretest (DE-588)4132652-0 s 1\p DE-604 Strichman, Ofer edt Erscheint auch als Online-Ausgabe 978-3-319-70389-3 Lecture notes in computer science 100629 (DE-604)BV000000607 10629 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hardware and software verification and testing : 13th international Haifa verification conference, HVC 2017, 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 Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Hardwareverifikation (DE-588)4214982-4 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)4434799-6 (DE-588)4214982-4 (DE-588)4135576-3 (DE-588)1071861417 |
| title | Hardware and software verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings |
| title_auth | Hardware and software verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings |
| title_exact_search | Hardware and software verification and testing : 13th international Haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings |
| title_full | Hardware and software verification and testing : 13th international Haifa verification conference, HVC 2017, 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 2017, 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 2017, 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 2017 haifa israel november 13 15 2017 proceedings |
| title_sub | verification and testing : 13th international Haifa verification conference, HVC 2017, 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 Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Hardwareverifikation (DE-588)4214982-4 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 Softwaretest Model Checking Hardwareverifikation Programmverifikation Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hvchaifa hardwareandsoftwareverificationandtesting13thinternationalhaifaverificationconferencehvc2017haifaisraelnovember13152017proceedings AT strichmanofer hardwareandsoftwareverificationandtesting13thinternationalhaifaverificationconferencehvc2017haifaisraelnovember13152017proceedings |