Software engineering and formal methods: 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2023]
|
| Series: | Formal methods
14323 |
| Subjects: | |
| Physical Description: | xii, 378 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031471148 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049476685 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 231220s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031471148 |9 978-3-031-47114-8 | ||
| 035 | |a (OCoLC)1416410465 | ||
| 035 | |a (DE-599)BVBBV049476685 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a International Conference on Software Engineering and Formal Methods |n 21. |d 2023 |c Eindhoven |j Verfasser |0 (DE-588)1313960799 |4 aut | |
| 245 | 1 | 0 | |a Software engineering and formal methods |b 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings |c Carla Ferreira, Tim A. C. Willemse, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xii, 378 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 |a Formal methods |v 14323 | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Data Structures and Information Theory | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Computer System Implementation | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Microprogramming | |
| 650 | 4 | |a Computer systems | |
| 650 | 4 | |a Computer programming | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Eindhoven |2 gnd-content | |
| 700 | 1 | |a Ferreira, Carla |4 edt | |
| 700 | 1 | |a Willemse, Tim A. C. |d 1974- |0 (DE-588)173656544 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-47115-5 |
| 830 | 0 | |a Formal methods |v 14323 |w (DE-604)BV000000607 |9 14323 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034822194 | |
Record in the Search Index
| _version_ | 1820875839100682240 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Ferreira, Carla Willemse, Tim A. C. 1974- |
| author2_role | edt edt |
| author2_variant | c f cf t a c w tac tacw |
| author_GND | (DE-588)173656544 |
| author_corporate | International Conference on Software Engineering and Formal Methods Eindhoven |
| author_corporate_role | aut |
| author_facet | Ferreira, Carla Willemse, Tim A. C. 1974- International Conference on Software Engineering and Formal Methods Eindhoven |
| author_sort | International Conference on Software Engineering and Formal Methods Eindhoven |
| building | Verbundindex |
| bvnumber | BV049476685 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1416410465 (DE-599)BVBBV049476685 |
| 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">BV049476685</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">231220s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031471148</subfield><subfield code="9">978-3-031-47114-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1416410465</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049476685</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Software Engineering and Formal Methods</subfield><subfield code="n">21.</subfield><subfield code="d">2023</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1313960799</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">21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings</subfield><subfield code="c">Carla Ferreira, Tim A. C. Willemse, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 378 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="a">Formal methods</subfield><subfield code="v">14323</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</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 System Implementation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Eindhoven</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ferreira, Carla</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Willemse, Tim A. C.</subfield><subfield code="d">1974-</subfield><subfield code="0">(DE-588)173656544</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-031-47115-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Formal methods</subfield><subfield code="v">14323</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14323</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034822194</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Eindhoven gnd-content |
| genre_facet | Konferenzschrift 2023 Eindhoven |
| id | DE-604.BV049476685 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:17:33Z |
| indexdate | 2025-01-10T15:22:01Z |
| institution | BVB |
| institution_GND | (DE-588)1313960799 |
| isbn | 9783031471148 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034822194 |
| oclc_num | 1416410465 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xii, 378 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Formal methods |
| series2 | Lecture notes in computer science Formal methods |
| spelling | International Conference on Software Engineering and Formal Methods 21. 2023 Eindhoven Verfasser (DE-588)1313960799 aut Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings Carla Ferreira, Tim A. C. Willemse, editors Cham Springer [2023] © 2023 xii, 378 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Formal methods 14323 Software Engineering Data Structures and Information Theory Logic in AI. Control Structures and Microprogramming Computer System Implementation Programming Techniques Software engineering Data structures (Computer science) Information theory Logic programming Microprogramming Computer systems Computer programming (DE-588)1071861417 Konferenzschrift 2023 Eindhoven gnd-content Ferreira, Carla edt Willemse, Tim A. C. 1974- (DE-588)173656544 edt Erscheint auch als Online-Ausgabe 978-3-031-47115-5 Formal methods 14323 (DE-604)BV000000607 14323 |
| spellingShingle | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings Formal methods Software Engineering Data Structures and Information Theory Logic in AI. Control Structures and Microprogramming Computer System Implementation Programming Techniques Software engineering Data structures (Computer science) Information theory Logic programming Microprogramming Computer systems Computer programming |
| subject_GND | (DE-588)1071861417 |
| title | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings |
| title_auth | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings |
| title_exact_search | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings |
| title_exact_search_txtP | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings |
| title_full | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings Carla Ferreira, Tim A. C. Willemse, editors |
| title_fullStr | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings Carla Ferreira, Tim A. C. Willemse, editors |
| title_full_unstemmed | Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings Carla Ferreira, Tim A. C. Willemse, editors |
| title_short | Software engineering and formal methods |
| title_sort | software engineering and formal methods 21st international conference sefm 2023 eindhoven the netherlands november 6 10 2023 proceedings |
| title_sub | 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings |
| topic | Software Engineering Data Structures and Information Theory Logic in AI. Control Structures and Microprogramming Computer System Implementation Programming Techniques Software engineering Data structures (Computer science) Information theory Logic programming Microprogramming Computer systems Computer programming |
| topic_facet | Software Engineering Data Structures and Information Theory Logic in AI. Control Structures and Microprogramming Computer System Implementation Programming Techniques Software engineering Data structures (Computer science) Information theory Logic programming Microprogramming Computer systems Computer programming Konferenzschrift 2023 Eindhoven |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT internationalconferenceonsoftwareengineeringandformalmethodseindhoven softwareengineeringandformalmethods21stinternationalconferencesefm2023eindhoventhenetherlandsnovember6102023proceedings AT ferreiracarla softwareengineeringandformalmethods21stinternationalconferencesefm2023eindhoventhenetherlandsnovember6102023proceedings AT willemsetimac softwareengineeringandformalmethods21stinternationalconferencesefm2023eindhoventhenetherlandsnovember6102023proceedings |