Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer Nature Switzerland
2025
Cham Springer |
| Ausgabe: | 1st ed. 2025 |
| Schriftenreihe: | Lecture Notes in Computer Science
15280 |
| Schlagworte: | |
| Online-Zugang: | DE-522 DE-634 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-898 DE-859 DE-860 DE-861 DE-863 DE-862 DE-523 DE-91 DE-384 DE-473 DE-19 DE-355 DE-703 DE-20 DE-706 DE-29 DE-739 DE-824 Volltext |
| Beschreibung: | 1 Online-Ressource (XV, 462 p. 243 illus., 190 illus. in color) |
| ISBN: | 9783031773822 |
| ISSN: | 1611-3349 |
| DOI: | 10.1007/978-3-031-77382-2 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV050061884 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 241202s2025 xx o|||| 00||| eng d | ||
| 020 | |a 9783031773822 |c Online |9 978-3-031-77382-2 | ||
| 024 | 7 | |a 10.1007/978-3-031-77382-2 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783031773822 | ||
| 035 | |a (ZDB-2-LNC)9783031773822 | ||
| 035 | |a (DE-599)BVBBV050061884 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-29 |a DE-898 |a DE-573 |a DE-355 |a DE-M347 |a DE-522 |a DE-862 |a DE-861 |a DE-92 |a DE-Aug4 |a DE-384 |a DE-83 |a DE-739 |a DE-859 |a DE-19 |a DE-634 |a DE-863 |a DE-860 |a DE-91 |a DE-703 |a DE-523 |a DE-1050 |a DE-706 |a DE-473 |a DE-824 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Software Engineering and Formal Methods |b 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings |c edited by Alexandre Madeira, Alexander Knapp |
| 250 | |a 1st ed. 2025 | ||
| 264 | 1 | |a Cham |b Springer Nature Switzerland |c 2025 | |
| 264 | 1 | |a Cham |b Springer | |
| 300 | |a 1 Online-Ressource (XV, 462 p. 243 illus., 190 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture Notes in Computer Science |v 15280 |x 1611-3349 | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Data Structures and Information Theory | |
| 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 Logic programming | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Microprogramming | |
| 650 | 4 | |a Computer systems | |
| 650 | 4 | |a Computer programming | |
| 700 | 1 | |a Madeira, Alexandre |4 edt | |
| 700 | 1 | |a Knapp, Alexander |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-77381-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-77383-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-77382-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2025 | |
| 940 | 1 | |q ZDB-2-LNC_2025 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035399442 | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-522 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-1050 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-573 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-898 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-860 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-863 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-862 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-523 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-355 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-77382-2 |l DE-824 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1819652478621188096 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Madeira, Alexandre Knapp, Alexander |
| author2_role | edt edt |
| author2_variant | a m am a k ak |
| author_facet | Madeira, Alexandre Knapp, Alexander |
| building | Verbundindex |
| bvnumber | BV050061884 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783031773822 (ZDB-2-LNC)9783031773822 (DE-599)BVBBV050061884 |
| 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-031-77382-2 |
| edition | 1st ed. 2025 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV050061884</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">241202s2025 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031773822</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-77382-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-77382-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031773822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031773822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV050061884</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-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-824</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="245" ind1="1" ind2="0"><subfield code="a">Software Engineering and Formal Methods</subfield><subfield code="b">22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings</subfield><subfield code="c">edited by Alexandre Madeira, Alexander Knapp</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2025</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Nature Switzerland</subfield><subfield code="c">2025</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 462 p. 243 illus., 190 illus. in color)</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="0" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">15280</subfield><subfield code="x">1611-3349</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 in AI.</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">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">Logic programming</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">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="700" ind1="1" ind2=" "><subfield code="a">Madeira, Alexandre</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Knapp, Alexander</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-031-77381-5</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-031-77383-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-77382-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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2025</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2025</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035399442</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-77382-2</subfield><subfield code="l">DE-522</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-031-77382-2</subfield><subfield code="l">DE-634</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-031-77382-2</subfield><subfield code="l">DE-Aug4</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-031-77382-2</subfield><subfield code="l">DE-1050</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-031-77382-2</subfield><subfield code="l">DE-573</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-031-77382-2</subfield><subfield code="l">DE-M347</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-031-77382-2</subfield><subfield code="l">DE-92</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-031-77382-2</subfield><subfield code="l">DE-898</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-031-77382-2</subfield><subfield code="l">DE-859</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-031-77382-2</subfield><subfield code="l">DE-860</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-031-77382-2</subfield><subfield code="l">DE-861</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-031-77382-2</subfield><subfield code="l">DE-863</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-031-77382-2</subfield><subfield code="l">DE-862</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-031-77382-2</subfield><subfield code="l">DE-523</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-031-77382-2</subfield><subfield code="l">DE-91</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-031-77382-2</subfield><subfield code="l">DE-384</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-031-77382-2</subfield><subfield code="l">DE-473</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-031-77382-2</subfield><subfield code="l">DE-19</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-031-77382-2</subfield><subfield code="l">DE-355</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-031-77382-2</subfield><subfield code="l">DE-703</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-031-77382-2</subfield><subfield code="l">DE-20</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-031-77382-2</subfield><subfield code="l">DE-706</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-031-77382-2</subfield><subfield code="l">DE-29</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-031-77382-2</subfield><subfield code="l">DE-739</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-031-77382-2</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV050061884 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-28T04:17:13Z |
| institution | BVB |
| isbn | 9783031773822 |
| issn | 1611-3349 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035399442 |
| open_access_boolean | |
| owner | DE-20 DE-29 DE-898 DE-BY-UBR DE-573 DE-355 DE-BY-UBR DE-M347 DE-522 DE-862 DE-BY-FWS DE-861 DE-92 DE-Aug4 DE-384 DE-83 DE-739 DE-859 DE-19 DE-BY-UBM DE-634 DE-863 DE-BY-FWS DE-860 DE-91 DE-BY-TUM DE-703 DE-523 DE-1050 DE-706 DE-473 DE-BY-UBG DE-824 |
| owner_facet | DE-20 DE-29 DE-898 DE-BY-UBR DE-573 DE-355 DE-BY-UBR DE-M347 DE-522 DE-862 DE-BY-FWS DE-861 DE-92 DE-Aug4 DE-384 DE-83 DE-739 DE-859 DE-19 DE-BY-UBM DE-634 DE-863 DE-BY-FWS DE-860 DE-91 DE-BY-TUM DE-703 DE-523 DE-1050 DE-706 DE-473 DE-BY-UBG DE-824 |
| physical | 1 Online-Ressource (XV, 462 p. 243 illus., 190 illus. in color) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2025 ZDB-2-LNC_2025 |
| publishDate | 2025 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Springer Nature Switzerland Springer |
| record_format | marc |
| series2 | Lecture Notes in Computer Science |
| spellingShingle | Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings Software Engineering Logic in AI. Data Structures and Information Theory Control Structures and Microprogramming Computer System Implementation Programming Techniques Software engineering Logic programming Data structures (Computer science) Information theory Microprogramming Computer systems Computer programming |
| title | Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings |
| title_auth | Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings |
| title_exact_search | Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings |
| title_full | Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings edited by Alexandre Madeira, Alexander Knapp |
| title_fullStr | Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings edited by Alexandre Madeira, Alexander Knapp |
| title_full_unstemmed | Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings edited by Alexandre Madeira, Alexander Knapp |
| title_short | Software Engineering and Formal Methods |
| title_sort | software engineering and formal methods 22nd international conference sefm 2024 aveiro portugal november 6 8 2024 proceedings |
| title_sub | 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings |
| topic | Software Engineering Logic in AI. Data Structures and Information Theory Control Structures and Microprogramming Computer System Implementation Programming Techniques Software engineering Logic programming Data structures (Computer science) Information theory Microprogramming Computer systems Computer programming |
| topic_facet | Software Engineering Logic in AI. Data Structures and Information Theory Control Structures and Microprogramming Computer System Implementation Programming Techniques Software engineering Logic programming Data structures (Computer science) Information theory Microprogramming Computer systems Computer programming |
| url | https://doi.org/10.1007/978-3-031-77382-2 |
| work_keys_str_mv | AT madeiraalexandre softwareengineeringandformalmethods22ndinternationalconferencesefm2024aveiroportugalnovember682024proceedings AT knappalexander softwareengineeringandformalmethods22ndinternationalconferencesefm2024aveiroportugalnovember682024proceedings |