Software verification: 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2022]
|
| Schriftenreihe: | Lecture notes in computer science
13124 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UEI01 UER01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource (xiv, 197 Seiten) 67 Illustrationen, 42 in Farbe |
| ISBN: | 9783030955618 |
| DOI: | 10.1007/978-3-030-95561-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047875375 | ||
| 003 | DE-604 | ||
| 005 | 20220328 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220309s2022 |||| o||u| ||||||eng d | ||
| 020 | |a 9783030955618 |c Online |9 978-3-030-95561-8 | ||
| 024 | 7 | |a 10.1007/978-3-030-95561-8 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783030955618 | ||
| 035 | |a (ZDB-2-LNC)9783030955618 | ||
| 035 | |a (OCoLC)1304481029 | ||
| 035 | |a (DE-599)BVBBV047875375 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-860 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-188 |a DE-523 |a DE-859 |a DE-473 |a DE-29 |a DE-863 |a DE-1050 |a DE-20 |a DE-862 |a DE-92 |a DE-824 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a VSTTE |n 13. |d 2021 |c Online |j Verfasser |0 (DE-588)1253173400 |4 aut | |
| 245 | 1 | 0 | |a Software verification |b 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers |c Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.) |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2022] | |
| 300 | |a 1 Online-Ressource (xiv, 197 Seiten) |b 67 Illustrationen, 42 in Farbe | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 13124 |a Programming and software engineering | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Compilers and Interpreters | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Computer Hardware | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 4 | |a Computer networks | |
| 650 | 4 | |a Microprogramming | |
| 650 | 4 | |a Computers | |
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |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 |y 2021 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 2 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | 1 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 2 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Bloem, Roderick |0 (DE-588)1044944110 |4 edt | |
| 700 | 1 | |a Dimitrova, Rayna |4 edt | |
| 700 | 1 | |a Fan, Chuchu |4 edt | |
| 700 | 1 | |a Sharygina, Natasha |4 edt | |
| 711 | 2 | |a NSV |n 14. |d 2021 |c Online |j Verfasser |0 (DE-588)1253173672 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-95560-1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-95562-5 |
| 830 | 0 | |a Lecture notes in computer science |v 13124 |w (DE-604)BV014880109 |9 13124 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-95561-8 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2022 | |
| 940 | 1 | |q ZDB-2-LNC_2022 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033257794 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FHA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FHD01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FHI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FHR01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FLA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FWS01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l FWS02 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l HTW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2022 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UBM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UEI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-95561-8 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 971127 |
|---|---|
| _version_ | 1806194962342084608 |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Bloem, Roderick Dimitrova, Rayna Fan, Chuchu Sharygina, Natasha |
| author2_role | edt edt edt edt |
| author2_variant | r b rb r d rd c f cf n s ns |
| author_GND | (DE-588)1044944110 |
| author_corporate | VSTTE Online NSV |
| author_corporate_role | aut aut |
| author_facet | Bloem, Roderick Dimitrova, Rayna Fan, Chuchu Sharygina, Natasha VSTTE Online NSV |
| author_sort | VSTTE Online |
| building | Verbundindex |
| bvnumber | BV047875375 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783030955618 (ZDB-2-LNC)9783030955618 (OCoLC)1304481029 (DE-599)BVBBV047875375 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-030-95561-8 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06389nmm a2201213zcb4500</leader><controlfield tag="001">BV047875375</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220328 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220309s2022 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030955618</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-95561-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-95561-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030955618</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030955618</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1304481029</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047875375</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-355</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">VSTTE</subfield><subfield code="n">13.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1253173400</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software verification</subfield><subfield code="b">13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers</subfield><subfield code="c">Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 197 Seiten)</subfield><subfield code="b">67 Illustrationen, 42 in Farbe</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">13124</subfield><subfield code="a">Programming and software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers and Interpreters</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">Control Structures and Microprogramming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Hardware</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">Compilers (Computer programs)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</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">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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="y">2021</subfield><subfield code="z">Online</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="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</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="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="700" ind1="1" ind2=" "><subfield code="a">Dimitrova, Rayna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fan, Chuchu</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sharygina, Natasha</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">NSV</subfield><subfield code="n">14.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1253173672</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-95560-1</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-95562-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13124</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">13124</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2022</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2022</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033257794</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2022</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-95561-8</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047875375 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T19:21:11Z |
| indexdate | 2024-08-01T16:15:45Z |
| institution | BVB |
| institution_GND | (DE-588)1253173400 (DE-588)1253173672 |
| isbn | 9783030955618 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033257794 |
| oclc_num | 1304481029 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-824 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 |
| owner_facet | DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-824 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 |
| physical | 1 Online-Ressource (xiv, 197 Seiten) 67 Illustrationen, 42 in Farbe |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2022 ZDB-2-LNC_2022 ZDB-2-LNC ZDB-2-LNC_2022 |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Programming and software engineering |
| spellingShingle | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers Lecture notes in computer science Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Computer Communication Networks Control Structures and Microprogramming Computer Hardware Computer science Software engineering Compilers (Computer programs) Computer networks Microprogramming Computers Computer (DE-588)4070083-5 gnd Programmverifikation (DE-588)4135576-3 gnd Spezifikationssprache (DE-588)4182217-1 gnd Software Engineering (DE-588)4116521-4 gnd Logik (DE-588)4036202-4 gnd Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Verifikation (DE-588)4135577-5 gnd Softwarespezifikation (DE-588)4056186-0 gnd Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4070083-5 (DE-588)4135576-3 (DE-588)4182217-1 (DE-588)4116521-4 (DE-588)4036202-4 (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135577-5 (DE-588)4056186-0 (DE-588)4132652-0 (DE-588)1071861417 |
| title | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers |
| title_auth | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers |
| title_exact_search | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers |
| title_exact_search_txtP | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers |
| title_full | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.) |
| title_fullStr | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.) |
| title_full_unstemmed | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.) |
| title_short | Software verification |
| title_sort | software verification 13th international conference vstte 2021 new haven ct usa october 18 19 2021 and 14th international workshop nsv 2021 los angeles ca usa july 18 19 2021 revised selected papers |
| title_sub | 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers |
| topic | Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Computer Communication Networks Control Structures and Microprogramming Computer Hardware Computer science Software engineering Compilers (Computer programs) Computer networks Microprogramming Computers Computer (DE-588)4070083-5 gnd Programmverifikation (DE-588)4135576-3 gnd Spezifikationssprache (DE-588)4182217-1 gnd Software Engineering (DE-588)4116521-4 gnd Logik (DE-588)4036202-4 gnd Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Verifikation (DE-588)4135577-5 gnd Softwarespezifikation (DE-588)4056186-0 gnd Softwaretest (DE-588)4132652-0 gnd |
| topic_facet | Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Computer Communication Networks Control Structures and Microprogramming Computer Hardware Computer science Software engineering Compilers (Computer programs) Computer networks Microprogramming Computers Computer Programmverifikation Spezifikationssprache Logik Formale Methode Programmanalyse Verifikation Softwarespezifikation Softwaretest Konferenzschrift 2021 Online |
| url | https://doi.org/10.1007/978-3-030-95561-8 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT vstteonline softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers AT bloemroderick softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers AT dimitrovarayna softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers AT fanchuchu softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers AT sharyginanatasha softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers AT nsvonline softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers |