Leveraging applications of formal methods, verification and validation: 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2021
|
| Schriftenreihe: | Lecture notes in computer science
13036 |
| Schlagworte: | |
| Beschreibung: | XII, 504 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030891589 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047610525 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 211124s2021 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030891589 |9 978-3-030-89158-9 | ||
| 035 | |a (OCoLC)1284173556 | ||
| 035 | |a (DE-599)BVBBV047610525 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 111 | 2 | |a International Symposium on Leveraging Applications of Formal Methods |n 10. |d 2021 |c Rhodos, Stadt |j Verfasser |0 (DE-588)1245155660 |4 aut | |
| 245 | 1 | 0 | |a Leveraging applications of formal methods, verification and validation |b 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings |c Tiziana Margaria, Bernhard Steffen (eds.) |
| 264 | 1 | |a Cham |b Springer |c 2021 | |
| 300 | |a XII, 504 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 13036 | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Computer Applications | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Application software | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-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 Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2021 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 3 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | 1 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 1 | 2 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 1 | 3 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Margaria, Tiziana |d 1964- |0 (DE-588)1033086541 |4 edt | |
| 700 | 1 | |a Steffen, Bernhard |d 1958- |0 (DE-588)1054357390 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-89159-6 |
| 830 | 0 | |a Lecture notes in computer science |v 13036 |w (DE-604)BV000000607 |9 13036 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032995388 | |
Datensatz im Suchindex
| _version_ | 1820889717171814400 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Margaria, Tiziana 1964- Steffen, Bernhard 1958- |
| author2_role | edt edt |
| author2_variant | t m tm b s bs |
| author_GND | (DE-588)1033086541 (DE-588)1054357390 |
| author_corporate | International Symposium on Leveraging Applications of Formal Methods Rhodos, Stadt |
| author_corporate_role | aut |
| author_facet | Margaria, Tiziana 1964- Steffen, Bernhard 1958- International Symposium on Leveraging Applications of Formal Methods Rhodos, Stadt |
| author_sort | International Symposium on Leveraging Applications of Formal Methods Rhodos, Stadt |
| building | Verbundindex |
| bvnumber | BV047610525 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1284173556 (DE-599)BVBBV047610525 |
| 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 |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV047610525</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">211124s2021 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030891589</subfield><subfield code="9">978-3-030-89158-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1284173556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047610525</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="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Leveraging Applications of Formal Methods</subfield><subfield code="n">10.</subfield><subfield code="d">2021</subfield><subfield code="c">Rhodos, Stadt</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1245155660</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Leveraging applications of formal methods, verification and validation</subfield><subfield code="b">10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings</subfield><subfield code="c">Tiziana Margaria, Bernhard Steffen (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 504 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">13036</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</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 Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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 programming</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">Application software</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-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">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">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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</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">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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="3"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Margaria, Tiziana</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)1033086541</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steffen, Bernhard</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)1054357390</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-030-89159-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13036</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13036</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032995388</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047610525 |
| illustrated | Illustrated |
| index_date | 2024-07-03T18:39:42Z |
| indexdate | 2025-01-10T19:02:36Z |
| institution | BVB |
| institution_GND | (DE-588)1245155660 |
| isbn | 9783030891589 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032995388 |
| oclc_num | 1284173556 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XII, 504 Seiten Illustrationen, Diagramme |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | International Symposium on Leveraging Applications of Formal Methods 10. 2021 Rhodos, Stadt Verfasser (DE-588)1245155660 aut Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings Tiziana Margaria, Bernhard Steffen (eds.) Cham Springer 2021 XII, 504 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13036 Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Computer Applications Software engineering Artificial intelligence Computer programming Programming languages (Electronic computers) Application software Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content Formale Methode (DE-588)4333722-3 s Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Softwareentwicklung (DE-588)4116522-6 s DE-604 Systemanalyse (DE-588)4116673-5 s Systementwurf (DE-588)4261480-6 s Verifikation (DE-588)4135577-5 s Margaria, Tiziana 1964- (DE-588)1033086541 edt Steffen, Bernhard 1958- (DE-588)1054357390 edt Erscheint auch als Online-Ausgabe 978-3-030-89159-6 Lecture notes in computer science 13036 (DE-604)BV000000607 13036 |
| spellingShingle | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings Lecture notes in computer science Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Computer Applications Software engineering Artificial intelligence Computer programming Programming languages (Electronic computers) Application software Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4116673-5 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)1071861417 |
| title | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings |
| title_auth | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings |
| title_exact_search | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings |
| title_exact_search_txtP | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings |
| title_full | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings Tiziana Margaria, Bernhard Steffen (eds.) |
| title_fullStr | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings Tiziana Margaria, Bernhard Steffen (eds.) |
| title_full_unstemmed | Leveraging applications of formal methods, verification and validation 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings Tiziana Margaria, Bernhard Steffen (eds.) |
| title_short | Leveraging applications of formal methods, verification and validation |
| title_sort | leveraging applications of formal methods verification and validation 10th international symposium on leveraging applications of formal methods isola 2021 rhodes greece october 17 29 2021 proceedings |
| title_sub | 10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, october 17–29, 2021 : proceedings |
| topic | Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Computer Applications Software engineering Artificial intelligence Computer programming Programming languages (Electronic computers) Application software Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| topic_facet | Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Computer Applications Software engineering Artificial intelligence Computer programming Programming languages (Electronic computers) Application software Softwareentwicklung Formale Methode Programmanalyse Programmverifikation Systemanalyse Verifikation Systementwurf Konferenzschrift 2021 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT internationalsymposiumonleveragingapplicationsofformalmethodsrhodosstadt leveragingapplicationsofformalmethodsverificationandvalidation10thinternationalsymposiumonleveragingapplicationsofformalmethodsisola2021rhodesgreeceoctober17292021proceedings AT margariatiziana leveragingapplicationsofformalmethodsverificationandvalidation10thinternationalsymposiumonleveragingapplicationsofformalmethodsisola2021rhodesgreeceoctober17292021proceedings AT steffenbernhard leveragingapplicationsofformalmethodsverificationandvalidation10thinternationalsymposiumonleveragingapplicationsofformalmethodsisola2021rhodesgreeceoctober17292021proceedings |