Leveraging applications of formal methods, verification and validation: REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2025]
|
| Ausgabe: | 1st ed. 2025 |
| Schriftenreihe: | Lecture notes in computer science
15219 |
| Schlagworte: | |
| Online-Zugang: | DE-522 DE-634 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-898 DE-859 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-824 DE-29 DE-739 Volltext |
| Beschreibung: | 1 Online-Ressource (xv, 428 Seiten) Illustrationen |
| ISBN: | 9783031737091 |
| ISSN: | 1611-3349 |
| DOI: | 10.1007/978-3-031-73709-1 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049935422 | ||
| 003 | DE-604 | ||
| 005 | 20250515 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 241104s2025 xx a||| o|||| 11||| eng d | ||
| 020 | |a 9783031737091 |c Online |9 978-3-031-73709-1 | ||
| 024 | 7 | |a 10.1007/978-3-031-73709-1 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783031737091 | ||
| 035 | |a (ZDB-2-LNC)9783031737091 | ||
| 035 | |a (OCoLC)1466908349 | ||
| 035 | |a (DE-599)BVBBV049935422 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-898 |a DE-573 |a DE-355 |a DE-19 |a DE-29 |a DE-1050 |a DE-83 |a DE-91 |a DE-92 |a DE-20 |a DE-703 |a DE-384 |a DE-706 |a DE-861 |a DE-522 |a DE-Aug4 |a DE-473 |a DE-M347 |a DE-862 |a DE-739 |a DE-634 |a DE-523 |a DE-863 |a DE-859 |a DE-824 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 325 |2 stub | ||
| 084 | |a DAT 310 |2 stub | ||
| 084 | |a DAT 510 |2 stub | ||
| 111 | 2 | |a REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday |n 5. |d 2024 |c Chersonēsos |j Verfasser |0 (DE-588)1353278581 |4 aut | |
| 245 | 1 | 0 | |a Leveraging applications of formal methods, verification and validation |b REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I |c Tiziana Margaria, Bernhard Steffen, editors |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2025] | |
| 300 | |a 1 Online-Ressource (xv, 428 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 15219 |x 1611-3349 | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Computer System Implementation | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computers, Special purpose | |
| 650 | 4 | |a Computer systems | |
| 650 | 4 | |a Microprogramming | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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)4016928-5 |a Festschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2024 |z Chersonēsos |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 1 | 1 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 1 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |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 | |
| 700 | 1 | |a De Nicola, Rocco |d 1954- |0 (DE-588)1067162577 |4 hnr | |
| 711 | 2 | |a International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |n 12. |d 2024 |c Chersonēsos |j Verfasser |0 (DE-588)1351578871 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-73708-4 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-73710-7 |
| 830 | 0 | |a Lecture notes in computer science |v 15219 |w (DE-604)BV014880109 |9 15219 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-73709-1 |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-035273745 | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-522 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-1050 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-573 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-898 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-863 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-862 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-523 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-91 |p ZDB-2-LNC |q ZDB-2-LNC_2025 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-355 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-824 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-73709-1 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1832240667770748928 |
|---|---|
| adam_text | |
| any_adam_object | |
| 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 (DE-588)1067162577 |
| author_corporate | REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday Chersonēsos International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
| author_corporate_role | aut aut |
| author_facet | Margaria, Tiziana 1964- Steffen, Bernhard 1958- REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday Chersonēsos International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
| author_sort | REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday Chersonēsos |
| building | Verbundindex |
| bvnumber | BV049935422 |
| classification_tum | DAT 325 DAT 310 DAT 510 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783031737091 (ZDB-2-LNC)9783031737091 (OCoLC)1466908349 (DE-599)BVBBV049935422 |
| 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-73709-1 |
| edition | 1st ed. 2025 |
| format | Electronic Conference Proceeding 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">BV049935422</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250515</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">241104s2025 xx a||| o|||| 11||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031737091</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-73709-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-73709-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031737091</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031737091</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1466908349</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049935422</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-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-859</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 325</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday</subfield><subfield code="n">5.</subfield><subfield code="d">2024</subfield><subfield code="c">Chersonēsos</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1353278581</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">REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I</subfield><subfield code="c">Tiziana Margaria, Bernhard Steffen, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2025]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 428 Seiten)</subfield><subfield code="b">Illustrationen</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">15219</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">Formal Languages and Automata Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</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">Control Structures and Microprogramming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers, Special purpose</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming </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">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">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)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2024</subfield><subfield code="z">Chersonēsos</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><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=" "><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="700" ind1="1" ind2=" "><subfield code="a">De Nicola, Rocco</subfield><subfield code="d">1954-</subfield><subfield code="0">(DE-588)1067162577</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Symposium on Leveraging Applications of Formal Methods, Verification and Validation</subfield><subfield code="n">12.</subfield><subfield code="d">2024</subfield><subfield code="c">Chersonēsos</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1351578871</subfield><subfield code="4">aut</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-73708-4</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-73710-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">15219</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">15219</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-73709-1</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-035273745</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2025</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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-73709-1</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-73709-1</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-73709-1</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></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 2024 Chersonēsos gnd-content |
| genre_facet | Festschrift Konferenzschrift 2024 Chersonēsos |
| id | DE-604.BV049935422 |
| illustrated | Illustrated |
| indexdate | 2025-05-16T04:01:06Z |
| institution | BVB |
| institution_GND | (DE-588)1353278581 (DE-588)1351578871 |
| isbn | 9783031737091 |
| issn | 1611-3349 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035273745 |
| oclc_num | 1466908349 |
| open_access_boolean | |
| owner | DE-898 DE-BY-UBR DE-573 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-1050 DE-83 DE-91 DE-BY-TUM DE-92 DE-20 DE-703 DE-384 DE-706 DE-861 DE-522 DE-Aug4 DE-473 DE-BY-UBG DE-M347 DE-862 DE-BY-FWS DE-739 DE-634 DE-523 DE-863 DE-BY-FWS DE-859 DE-824 |
| owner_facet | DE-898 DE-BY-UBR DE-573 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29 DE-1050 DE-83 DE-91 DE-BY-TUM DE-92 DE-20 DE-703 DE-384 DE-706 DE-861 DE-522 DE-Aug4 DE-473 DE-BY-UBG DE-M347 DE-862 DE-BY-FWS DE-739 DE-634 DE-523 DE-863 DE-BY-FWS DE-859 DE-824 |
| physical | 1 Online-Ressource (xv, 428 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2025 ZDB-2-LNC_2025 ZDB-2-LNC ZDB-2-LNC_2025 |
| publishDate | 2025 |
| publishDateSearch | 2025 |
| publishDateSort | 2025 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Leveraging applications of formal methods, verification and validation REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Software engineering Machine theory Computer science Computers, Special purpose Computer systems Microprogramming Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 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 Lecture notes in computer science |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4116673-5 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)4016928-5 (DE-588)1071861417 |
| title | Leveraging applications of formal methods, verification and validation REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I |
| title_auth | Leveraging applications of formal methods, verification and validation REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I |
| title_exact_search | Leveraging applications of formal methods, verification and validation REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I |
| title_full | Leveraging applications of formal methods, verification and validation REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I Tiziana Margaria, Bernhard Steffen, editors |
| title_fullStr | Leveraging applications of formal methods, verification and validation REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I Tiziana Margaria, Bernhard Steffen, editors |
| title_full_unstemmed | Leveraging applications of formal methods, verification and validation REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I Tiziana Margaria, Bernhard Steffen, editors |
| title_short | Leveraging applications of formal methods, verification and validation |
| title_sort | leveraging applications of formal methods verification and validation reocas colloquium in honor of rocco de nicola 12th international symposium isola 2024 crete greece october 27 31 2024 proceedings part i |
| title_sub | REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I |
| topic | Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Software engineering Machine theory Computer science Computers, Special purpose Computer systems Microprogramming Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 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 Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Computer System Implementation Control Structures and Microprogramming Software engineering Machine theory Computer science Computers, Special purpose Computer systems Microprogramming Formale Methode Softwareentwicklung Programmanalyse Programmverifikation Systemanalyse Verifikation Systementwurf Festschrift Konferenzschrift 2024 Chersonēsos |
| url | https://doi.org/10.1007/978-3-031-73709-1 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT reocascolloquiuminhonorofroccodenicolas70thbirthdaychersonesos leveragingapplicationsofformalmethodsverificationandvalidationreocascolloquiuminhonorofroccodenicola12thinternationalsymposiumisola2024cretegreeceoctober27312024proceedingsparti AT margariatiziana leveragingapplicationsofformalmethodsverificationandvalidationreocascolloquiuminhonorofroccodenicola12thinternationalsymposiumisola2024cretegreeceoctober27312024proceedingsparti AT steffenbernhard leveragingapplicationsofformalmethodsverificationandvalidationreocascolloquiuminhonorofroccodenicola12thinternationalsymposiumisola2024cretegreeceoctober27312024proceedingsparti AT denicolarocco leveragingapplicationsofformalmethodsverificationandvalidationreocascolloquiuminhonorofroccodenicola12thinternationalsymposiumisola2024cretegreeceoctober27312024proceedingsparti AT internationalsymposiumonleveragingapplicationsofformalmethodsverificationandvalidationchersonesos leveragingapplicationsofformalmethodsverificationandvalidationreocascolloquiuminhonorofroccodenicola12thinternationalsymposiumisola2024cretegreeceoctober27312024proceedingsparti |