Automated technology for verification and analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2017]
|
| Schriftenreihe: | Lecture Notes in Computer Science
10482 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 URL des Erstveröffentlichers |
| Beschreibung: | 1 Online-Ressource (XIX, 482 Seiten) Illustrationen |
| ISBN: | 9783319681672 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-68167-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044563080 | ||
| 003 | DE-604 | ||
| 005 | 20211223 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171102s2017 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319681672 |c Online |9 978-3-319-68167-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-68167-2 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783319681672 | ||
| 035 | |a (ZDB-2-LNC)9783319681672 | ||
| 035 | |a (OCoLC)1011381626 | ||
| 035 | |a (DE-599)BVBBV044563080 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-860 |a DE-91 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-523 |a DE-859 |a DE-473 |a DE-29 |a DE-863 |a DE-20 |a DE-862 |a DE-92 |a DE-573 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 |a DE-384 |a DE-355 |a DE-188 |a DE-19 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a ATVA |n 15. |d 2017 |c Pune |j Verfasser |0 (DE-588)1143049438 |4 aut | |
| 245 | 1 | 0 | |a Automated technology for verification and analysis |b 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings |c Deepak D'Souza, K. Narayan Kumar (Eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2017] | |
| 300 | |a 1 Online-Ressource (XIX, 482 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 10482 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Computing Milieux | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Computing Methodologies | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Systemsynthese |0 (DE-588)4198909-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CASHE |0 (DE-588)4388634-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-6 |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 Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2017 |z Pune |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 2 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | 3 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 4 | |a Systemsynthese |0 (DE-588)4198909-0 |D s |
| 689 | 0 | 5 | |a CASHE |0 (DE-588)4388634-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a D'Souza, Deepak |d 1970- |0 (DE-588)1065200021 |4 edt | |
| 700 | 1 | |a Narayan Kumar, K. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-68166-5 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 10482 |w (DE-604)BV014880109 |9 10482 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-68167-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2017 | |
| 940 | 1 | |q ZDB-2-LNC_2017 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029961647 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FHA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FHI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FHR01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FLA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FWS01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l FWS02 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l HTW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2017 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-68167-2 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 661814 |
|---|---|
| _version_ | 1824554625824456704 |
| any_adam_object | |
| author2 | D'Souza, Deepak 1970- Narayan Kumar, K. |
| author2_role | edt edt |
| author2_variant | d d dd k k n kk kkn |
| author_GND | (DE-588)1065200021 |
| author_corporate | ATVA Pune |
| author_corporate_role | aut |
| author_facet | D'Souza, Deepak 1970- Narayan Kumar, K. ATVA Pune |
| author_sort | ATVA Pune |
| building | Verbundindex |
| bvnumber | BV044563080 |
| classification_tum | DAT 550f DAT 325f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783319681672 (ZDB-2-LNC)9783319681672 (OCoLC)1011381626 (DE-599)BVBBV044563080 |
| 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 |
| doi_str_mv | 10.1007/978-3-319-68167-2 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05300nmm a2201045zcb4500</leader><controlfield tag="001">BV044563080</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211223 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171102s2017 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319681672</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-68167-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-68167-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783319681672</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783319681672</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1011381626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044563080</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-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</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-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</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><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</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 550f</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ATVA</subfield><subfield code="n">15.</subfield><subfield code="d">2017</subfield><subfield code="c">Pune</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1143049438</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated technology for verification and analysis</subfield><subfield code="b">15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings</subfield><subfield code="c">Deepak D'Souza, K. Narayan Kumar (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="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIX, 482 Seiten)</subfield><subfield code="b">Illustrationen</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">10482</subfield><subfield code="x">0302-9743</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 organization</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">Computers</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">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computing Milieux</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computing Methodologies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</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">CASHE</subfield><subfield code="0">(DE-588)4388634-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-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">2017</subfield><subfield code="z">Pune</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">CASHE</subfield><subfield code="0">(DE-588)4388634-6</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">D'Souza, Deepak</subfield><subfield code="d">1970-</subfield><subfield code="0">(DE-588)1065200021</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Narayan Kumar, K.</subfield><subfield code="4">edt</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-319-68166-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">10482</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">10482</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-68167-2</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_2017</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2017</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029961647</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2017</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-319-68167-2</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-319-68167-2</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-319-68167-2</subfield><subfield code="l">UBM01</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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-319-68167-2</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 2017 Pune gnd-content |
| genre_facet | Konferenzschrift 2017 Pune |
| id | DE-604.BV044563080 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:54:45Z |
| institution | BVB |
| institution_GND | (DE-588)1143049438 |
| isbn | 9783319681672 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029961647 |
| oclc_num | 1011381626 |
| open_access_boolean | |
| owner | DE-860 DE-91 DE-BY-TUM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-384 DE-355 DE-BY-UBR DE-188 DE-19 DE-BY-UBM |
| owner_facet | DE-860 DE-91 DE-BY-TUM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-384 DE-355 DE-BY-UBR DE-188 DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (XIX, 482 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2017 ZDB-2-LNC_2017 ZDB-2-LNC ZDB-2-LNC_2017 |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spellingShingle | Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings Lecture Notes in Computer Science Computer science Computer organization Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computing Milieux Theory of Computation Computing Methodologies Informatik Systemsynthese (DE-588)4198909-0 gnd Verifikation (DE-588)4135577-5 gnd CASHE (DE-588)4388634-6 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd |
| subject_GND | (DE-588)4198909-0 (DE-588)4135577-5 (DE-588)4388634-6 (DE-588)4261480-6 (DE-588)4333722-3 (DE-588)4116673-5 (DE-588)1071861417 |
| title | Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings |
| title_auth | Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings |
| title_exact_search | Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings |
| title_full | Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings Deepak D'Souza, K. Narayan Kumar (Eds.) |
| title_fullStr | Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings Deepak D'Souza, K. Narayan Kumar (Eds.) |
| title_full_unstemmed | Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings Deepak D'Souza, K. Narayan Kumar (Eds.) |
| title_short | Automated technology for verification and analysis |
| title_sort | automated technology for verification and analysis 15th international symposium atva 2017 pune india october 3 6 2017 proceedings |
| title_sub | 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings |
| topic | Computer science Computer organization Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computing Milieux Theory of Computation Computing Methodologies Informatik Systemsynthese (DE-588)4198909-0 gnd Verifikation (DE-588)4135577-5 gnd CASHE (DE-588)4388634-6 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd |
| topic_facet | Computer science Computer organization Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computing Milieux Theory of Computation Computing Methodologies Informatik Systemsynthese Verifikation CASHE Systementwurf Formale Methode Systemanalyse Konferenzschrift 2017 Pune |
| url | https://doi.org/10.1007/978-3-319-68167-2 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT atvapune automatedtechnologyforverificationandanalysis15thinternationalsymposiumatva2017puneindiaoctober362017proceedings AT dsouzadeepak automatedtechnologyforverificationandanalysis15thinternationalsymposiumatva2017puneindiaoctober362017proceedings AT narayankumark automatedtechnologyforverificationandanalysis15thinternationalsymposiumatva2017puneindiaoctober362017proceedings |