Software engineering and formal methods: 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2021]
|
| Schriftenreihe: | Lecture notes in computer science
13085 |
| Schlagworte: | |
| Beschreibung: | xv, 522 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030921231 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047658931 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 220105s2021 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030921231 |9 978-3-030-92123-1 | ||
| 035 | |a (OCoLC)1291612752 | ||
| 035 | |a (DE-599)BVBBV047658931 | ||
| 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 SEFM |n 19. |d 2021 |c Online |j Verfasser |0 (DE-588)1248780531 |4 aut | |
| 245 | 1 | 0 | |a Software engineering and formal methods |b 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings |c Radu Calinescu, Corina S. Păsăreanu (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2021] | |
| 300 | |a xv, 522 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 13085 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 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 Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 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 Softwarespezifikation |0 (DE-588)4056186-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 Softwaretest |0 (DE-588)4132652-0 |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 Anwendungssystem |0 (DE-588)4139375-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2021 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | 3 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 4 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | 2 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 1 | 3 | |a Anwendungssystem |0 (DE-588)4139375-2 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Calinescu, Radu C. |d 1968- |0 (DE-588)121848892 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-92124-8 |
| 830 | 0 | |a Lecture notes in computer science |v 13085 |w (DE-604)BV000000607 |9 13085 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033043797 | |
Datensatz im Suchindex
| _version_ | 1820875810134818816 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Calinescu, Radu C. 1968- |
| author2_role | edt |
| author2_variant | r c c rc rcc |
| author_GND | (DE-588)121848892 |
| author_corporate | SEFM Online |
| author_corporate_role | aut |
| author_facet | Calinescu, Radu C. 1968- SEFM Online |
| author_sort | SEFM Online |
| building | Verbundindex |
| bvnumber | BV047658931 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1291612752 (DE-599)BVBBV047658931 |
| 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">BV047658931</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">220105s2021 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030921231</subfield><subfield code="9">978-3-030-92123-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1291612752</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047658931</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">SEFM</subfield><subfield code="n">19.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1248780531</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering and formal methods</subfield><subfield code="b">19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings</subfield><subfield code="c">Radu Calinescu, Corina S. Păsăreanu (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">xv, 522 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">13085</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 Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</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">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="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">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><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="2"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</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="700" ind1="1" ind2=" "><subfield code="a">Calinescu, Radu C.</subfield><subfield code="d">1968-</subfield><subfield code="0">(DE-588)121848892</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-92124-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13085</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13085</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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033043797</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047658931 |
| illustrated | Illustrated |
| index_date | 2024-07-03T18:51:57Z |
| indexdate | 2025-01-10T15:21:33Z |
| institution | BVB |
| institution_GND | (DE-588)1248780531 |
| isbn | 9783030921231 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033043797 |
| oclc_num | 1291612752 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xv, 522 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 | SEFM 19. 2021 Online Verfasser (DE-588)1248780531 aut Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings Radu Calinescu, Corina S. Păsăreanu (eds.) Cham Springer [2021] xv, 522 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13085 Computer science Computer Communication Networks Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Informatik 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 Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Anwendungssystem (DE-588)4139375-2 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content Programmverifikation (DE-588)4135576-3 s Softwarespezifikation (DE-588)4056186-0 s Model Checking (DE-588)4434799-6 s Softwaretest (DE-588)4132652-0 s Programmanalyse (DE-588)4175841-9 s DE-604 Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s Requirements engineering (DE-588)4213997-1 s Anwendungssystem (DE-588)4139375-2 s 1\p DE-604 Calinescu, Radu C. 1968- (DE-588)121848892 edt Erscheint auch als Online-Ausgabe 978-3-030-92124-8 Lecture notes in computer science 13085 (DE-604)BV000000607 13085 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings Lecture notes in computer science Computer science Computer Communication Networks Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Informatik Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Anwendungssystem (DE-588)4139375-2 gnd Requirements engineering (DE-588)4213997-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4056186-0 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4116521-4 (DE-588)4139375-2 (DE-588)4213997-1 (DE-588)1071861417 |
| title | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings |
| title_auth | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings |
| title_exact_search | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings |
| title_exact_search_txtP | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings |
| title_full | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings Radu Calinescu, Corina S. Păsăreanu (eds.) |
| title_fullStr | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings Radu Calinescu, Corina S. Păsăreanu (eds.) |
| title_full_unstemmed | Software engineering and formal methods 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings Radu Calinescu, Corina S. Păsăreanu (eds.) |
| title_short | Software engineering and formal methods |
| title_sort | software engineering and formal methods 19th international conference sefm 2021 virtual event december 6 10 2021 proceedings |
| title_sub | 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings |
| topic | Computer science Computer Communication Networks Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Informatik Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Anwendungssystem (DE-588)4139375-2 gnd Requirements engineering (DE-588)4213997-1 gnd |
| topic_facet | Computer science Computer Communication Networks Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Informatik Formale Methode Programmanalyse Programmverifikation Softwarespezifikation Model Checking Softwaretest Anwendungssystem Requirements engineering Konferenzschrift 2021 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sefmonline softwareengineeringandformalmethods19thinternationalconferencesefm2021virtualeventdecember6102021proceedings AT calinescuraduc softwareengineeringandformalmethods19thinternationalconferencesefm2021virtualeventdecember6102021proceedings |