Formal methods and software engineering: 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Singapore
Springer Nature Singapore
2023
Singapore Springer |
| Edition: | 1st ed. 2023 |
| Series: | Lecture Notes in Computer Science
14308 |
| Subjects: | |
| Physical Description: | xxviii, 300 Seiten Illustrationen, Diagramme |
| ISBN: | 9789819975839 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049474211 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 231219s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9789819975839 |9 978-981-9975-83-9 | ||
| 035 | |a (OCoLC)1409080002 | ||
| 035 | |a (DE-599)BVBBV049474211 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a International Conference on Formal Engineering Methods |n 24. |d 2023 |c Brisbane |j Verfasser |0 (DE-588)1314094394 |4 aut | |
| 245 | 1 | 0 | |a Formal methods and software engineering |b 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings |c Yi Li, Sofiène Tahar, editors |
| 250 | |a 1st ed. 2023 | ||
| 264 | 1 | |a Singapore |b Springer Nature Singapore |c 2023 | |
| 264 | 1 | |a Singapore |b Springer | |
| 300 | |a xxviii, 300 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 14308 | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Compilers and Interpreters | |
| 650 | 4 | |a Computer and Information Systems Applications | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |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 Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Brisbane |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Li, Yi |4 edt | |
| 700 | 1 | |a Tahar, Sofiène |d 1966- |0 (DE-588)172860997 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-981-9975-84-6 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 14308 |w (DE-604)BV000000607 |9 14308 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034819759 | |
Record in the Search Index
| _version_ | 1820875838316347392 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Li, Yi Tahar, Sofiène 1966- |
| author2_role | edt edt |
| author2_variant | y l yl s t st |
| author_GND | (DE-588)172860997 |
| author_corporate | International Conference on Formal Engineering Methods Brisbane |
| author_corporate_role | aut |
| author_facet | Li, Yi Tahar, Sofiène 1966- International Conference on Formal Engineering Methods Brisbane |
| author_sort | International Conference on Formal Engineering Methods Brisbane |
| building | Verbundindex |
| bvnumber | BV049474211 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1409080002 (DE-599)BVBBV049474211 |
| 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 |
| edition | 1st ed. 2023 |
| 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">BV049474211</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">231219s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789819975839</subfield><subfield code="9">978-981-9975-83-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1409080002</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049474211</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">004.0151</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 Formal Engineering Methods</subfield><subfield code="n">24.</subfield><subfield code="d">2023</subfield><subfield code="c">Brisbane</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1314094394</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods and software engineering</subfield><subfield code="b">24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings</subfield><subfield code="c">Yi Li, Sofiène Tahar, editors</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer Nature Singapore</subfield><subfield code="c">2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxviii, 300 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">14308</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">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">Compilers and Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer and Information Systems Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Language Processing (NLP)</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 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 (Computer programs)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">2023</subfield><subfield code="z">Brisbane</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Li, Yi</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tahar, Sofiène</subfield><subfield code="d">1966-</subfield><subfield code="0">(DE-588)172860997</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-981-9975-84-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">14308</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14308</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034819759</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Brisbane gnd-content |
| genre_facet | Konferenzschrift 2023 Brisbane |
| id | DE-604.BV049474211 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:17:02Z |
| indexdate | 2025-01-10T15:21:59Z |
| institution | BVB |
| institution_GND | (DE-588)1314094394 |
| isbn | 9789819975839 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034819759 |
| oclc_num | 1409080002 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xxviii, 300 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer Nature Singapore Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | International Conference on Formal Engineering Methods 24. 2023 Brisbane Verfasser (DE-588)1314094394 aut Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings Yi Li, Sofiène Tahar, editors 1st ed. 2023 Singapore Springer Nature Singapore 2023 Singapore Springer xxviii, 300 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 14308 Theory of Computation Programming Techniques Software Engineering Compilers and Interpreters Computer and Information Systems Applications Natural Language Processing (NLP) Computer science Computer programming Software engineering Compilers (Computer programs) Application software Natural language processing (Computer science) Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2023 Brisbane gnd-content Software Engineering (DE-588)4116521-4 s Programmiersprache (DE-588)4047409-4 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Li, Yi edt Tahar, Sofiène 1966- (DE-588)172860997 edt Erscheint auch als Online-Ausgabe 978-981-9975-84-6 Lecture Notes in Computer Science 14308 (DE-604)BV000000607 14308 |
| spellingShingle | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings Lecture Notes in Computer Science Theory of Computation Programming Techniques Software Engineering Compilers and Interpreters Computer and Information Systems Applications Natural Language Processing (NLP) Computer science Computer programming Software engineering Compilers (Computer programs) Application software Natural language processing (Computer science) Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4116521-4 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings |
| title_auth | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings |
| title_exact_search | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings |
| title_exact_search_txtP | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings |
| title_full | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings Yi Li, Sofiène Tahar, editors |
| title_fullStr | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings Yi Li, Sofiène Tahar, editors |
| title_full_unstemmed | Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings Yi Li, Sofiène Tahar, editors |
| title_short | Formal methods and software engineering |
| title_sort | formal methods and software engineering 24th international conference on formal engineering methods icfem 2023 brisbane qld australia november 21 24 2023 proceedings |
| title_sub | 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings |
| topic | Theory of Computation Programming Techniques Software Engineering Compilers and Interpreters Computer and Information Systems Applications Natural Language Processing (NLP) Computer science Computer programming Software engineering Compilers (Computer programs) Application software Natural language processing (Computer science) Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Theory of Computation Programming Techniques Software Engineering Compilers and Interpreters Computer and Information Systems Applications Natural Language Processing (NLP) Computer science Computer programming Software engineering Compilers (Computer programs) Application software Natural language processing (Computer science) Künstliche Intelligenz Programmiersprache Konferenzschrift 2023 Brisbane |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT internationalconferenceonformalengineeringmethodsbrisbane formalmethodsandsoftwareengineering24thinternationalconferenceonformalengineeringmethodsicfem2023brisbaneqldaustralianovember21242023proceedings AT liyi formalmethodsandsoftwareengineering24thinternationalconferenceonformalengineeringmethodsicfem2023brisbaneqldaustralianovember21242023proceedings AT taharsofiene formalmethodsandsoftwareengineering24thinternationalconferenceonformalengineeringmethodsicfem2023brisbaneqldaustralianovember21242023proceedings |