Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
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
15262 |
| 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, 503 p. 145 illus., 83 illus. in color) |
| ISBN: | 9783031757785 |
| ISSN: | 1611-3349 |
| DOI: | 10.1007/978-3-031-75778-5 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV050061850 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 241202s2025 xx o|||| 00||| eng d | ||
| 020 | |a 9783031757785 |c Online |9 978-3-031-75778-5 | ||
| 024 | 7 | |a 10.1007/978-3-031-75778-5 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783031757785 | ||
| 035 | |a (ZDB-2-LNC)9783031757785 | ||
| 035 | |a (OCoLC)1477595597 | ||
| 035 | |a (DE-599)BVBBV050061850 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-522 |a DE-20 |a DE-473 |a DE-384 |a DE-91 |a DE-860 |a DE-863 |a DE-573 |a DE-634 |a DE-Aug4 |a DE-83 |a DE-739 |a DE-92 |a DE-M347 |a DE-29 |a DE-706 |a DE-523 |a DE-859 |a DE-1050 |a DE-703 |a DE-355 |a DE-862 |a DE-861 |a DE-898 |a DE-824 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Principles of Verification: Cycling the Probabilistic Landscape |b Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III |c edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| 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, 503 p. 145 illus., 83 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 15262 |x 1611-3349 | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 700 | 1 | |a Jansen, Nils |4 edt | |
| 700 | 1 | |a Junges, Sebastian |4 edt | |
| 700 | 1 | |a Kaminski, Benjamin Lucien |4 edt | |
| 700 | 1 | |a Matheja, Christoph |4 edt | |
| 700 | 1 | |a Noll, Thomas |4 edt | |
| 700 | 1 | |a Quatmann, Tim |4 edt | |
| 700 | 1 | |a Stoelinga, Mariëlle |4 edt | |
| 700 | 1 | |a Volk, Matthias |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-75777-8 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-75779-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-75778-5 |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-035399408 | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-522 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-1050 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-573 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-898 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-860 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-863 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-862 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-523 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-355 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-75778-5 |l DE-824 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1822490666971693056 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Jansen, Nils Junges, Sebastian Kaminski, Benjamin Lucien Matheja, Christoph Noll, Thomas Quatmann, Tim Stoelinga, Mariëlle Volk, Matthias |
| author2_role | edt edt edt edt edt edt edt edt |
| author2_variant | n j nj s j sj b l k bl blk c m cm t n tn t q tq m s ms m v mv |
| author_facet | Jansen, Nils Junges, Sebastian Kaminski, Benjamin Lucien Matheja, Christoph Noll, Thomas Quatmann, Tim Stoelinga, Mariëlle Volk, Matthias |
| building | Verbundindex |
| bvnumber | BV050061850 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783031757785 (ZDB-2-LNC)9783031757785 (OCoLC)1477595597 (DE-599)BVBBV050061850 |
| 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 |
| doi_str_mv | 10.1007/978-3-031-75778-5 |
| 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">BV050061850</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">9783031757785</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-75778-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-75778-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031757785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031757785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1477595597</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV050061850</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-19</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-824</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="245" ind1="1" ind2="0"><subfield code="a">Principles of Verification: Cycling the Probabilistic Landscape</subfield><subfield code="b">Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III</subfield><subfield code="c">edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk</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, 503 p. 145 illus., 83 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">15262</subfield><subfield code="x">1611-3349</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">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</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="700" ind1="1" ind2=" "><subfield code="a">Jansen, Nils</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Junges, Sebastian</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kaminski, Benjamin Lucien</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Matheja, Christoph</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Noll, Thomas</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Quatmann, Tim</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stoelinga, Mariëlle</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Volk, Matthias</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-75777-8</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-75779-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-75778-5</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-035399408</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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-75778-5</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.BV050061850 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-28T11:09:00Z |
| institution | BVB |
| isbn | 9783031757785 |
| issn | 1611-3349 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035399408 |
| oclc_num | 1477595597 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-522 DE-20 DE-473 DE-BY-UBG DE-384 DE-91 DE-BY-TUM DE-860 DE-863 DE-BY-FWS DE-573 DE-634 DE-Aug4 DE-83 DE-739 DE-92 DE-M347 DE-29 DE-706 DE-523 DE-859 DE-1050 DE-703 DE-355 DE-BY-UBR DE-862 DE-BY-FWS DE-861 DE-898 DE-BY-UBR DE-824 |
| owner_facet | DE-19 DE-BY-UBM DE-522 DE-20 DE-473 DE-BY-UBG DE-384 DE-91 DE-BY-TUM DE-860 DE-863 DE-BY-FWS DE-573 DE-634 DE-Aug4 DE-83 DE-739 DE-92 DE-M347 DE-29 DE-706 DE-523 DE-859 DE-1050 DE-703 DE-355 DE-BY-UBR DE-862 DE-BY-FWS DE-861 DE-898 DE-BY-UBR DE-824 |
| physical | 1 Online-Ressource (XV, 503 p. 145 illus., 83 illus. in color) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2025 ZDB-2-LNC_2025 |
| publishDate | 2025 |
| publishDateSearch | 2025 |
| publishDateSort | 2025 |
| publisher | Springer Nature Switzerland Springer |
| record_format | marc |
| series2 | Lecture Notes in Computer Science |
| spelling | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 1st ed. 2025 Cham Springer Nature Switzerland 2025 Cham Springer 1 Online-Ressource (XV, 503 p. 145 illus., 83 illus. in color) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 15262 1611-3349 Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Computer science Software engineering Jansen, Nils edt Junges, Sebastian edt Kaminski, Benjamin Lucien edt Matheja, Christoph edt Noll, Thomas edt Quatmann, Tim edt Stoelinga, Mariëlle edt Volk, Matthias edt Erscheint auch als Druck-Ausgabe 978-3-031-75777-8 Erscheint auch als Druck-Ausgabe 978-3-031-75779-2 https://doi.org/10.1007/978-3-031-75778-5 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Computer science Software engineering |
| title | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III |
| title_auth | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III |
| title_exact_search | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III |
| title_full | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| title_fullStr | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| title_full_unstemmed | Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| title_short | Principles of Verification: Cycling the Probabilistic Landscape |
| title_sort | principles of verification cycling the probabilistic landscape essays dedicated to joost pieter katoen on the occasion of his 60th birthday part iii |
| title_sub | Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III |
| topic | Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Computer science Software engineering |
| topic_facet | Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Computer science Software engineering |
| url | https://doi.org/10.1007/978-3-031-75778-5 |
| work_keys_str_mv | AT jansennils principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii AT jungessebastian principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii AT kaminskibenjaminlucien principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii AT mathejachristoph principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii AT nollthomas principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii AT quatmanntim principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii AT stoelingamarielle principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii AT volkmatthias principlesofverificationcyclingtheprobabilisticlandscapeessaysdedicatedtojoostpieterkatoenontheoccasionofhis60thbirthdaypartiii |