Verfügbarkeit: iFM 2023 | Technische Universität München

iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on integrated Formal Methods Leiden (VerfasserIn)
Weitere beteiligte Personen:	Herber Paula (HerausgeberIn), Wijs, Anton (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Cham, Switzerland Springer [2024]
Schriftenreihe:	Lecture notes in computer science 14300
Schlagwörter:	Software Engineering Software engineering Formale Methode Konferenzschrift > 2023 > Leiden
Links:	https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8 https://doi.org/10.1007/978-3-031-47705-8
Umfang:	1 Online-Ressource (xix, 400 Seiten) 122 Illustrationen, 67 in Farbe
ISBN:	9783031477058
ISSN:	1611-3349
DOI:	10.1007/978-3-031-47705-8

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV049441794
003	DE-604
005	20240202
007	cr\|uuu---uuuuu
008	231201s2024 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783031477058 \|c Online \|9 978-3-031-47705-8
024	7		\|a 10.1007/978-3-031-47705-8 \|2 doi
035			\|a (ZDB-2-SCS)9783031477058
035			\|a (ZDB-2-LNC)9783031477058
035			\|a (OCoLC)1414547412
035			\|a (DE-599)BVBBV049441794
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-91 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-355 \|a DE-824 \|a DE-522 \|a DE-384 \|a DE-M347 \|a DE-573 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634 \|a DE-83
082	0		\|a 005.1 \|2 23
084			\|a DAT 310 \|2 stub
111	2		\|a International Conference on integrated Formal Methods \|n 18. \|d 2023 \|c Leiden \|j Verfasser \|0 (DE-588)1313533378 \|4 aut
245	1	0	\|a iFM 2023 \|b 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings \|c Paula Herber, Anton Wijs, editors
264		1	\|a Cham, Switzerland \|b Springer \|c [2024]
300			\|a 1 Online-Ressource (xix, 400 Seiten) \|b 122 Illustrationen, 67 in Farbe
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 14300 \|x 1611-3349
650		4	\|a Software Engineering
650		4	\|a Software engineering
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2023 \|z Leiden \|2 gnd-content
689	0	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	0		\|a Herber Paula \|0 (DE-588)1159981809 \|4 edt
700	1		\|a Wijs, Anton \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-47704-1
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-47706-5
830		0	\|a Lecture notes in computer science \|v 14300 \|w (DE-604)BV014880109 \|9 14300
856	4	0	\|u https://doi.org/10.1007/978-3-031-47705-8 \|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_2024
940	1		\|q ZDB-2-LNC_2024
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034787760
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-522 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-1050 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-573 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-898 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-860 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-863 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-862 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-523 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-91 \|p ZDB-2-LNC \|q ZDB-2-LNC_2024 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-355 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-824 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-47705-8 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2771373
_version_	1821935058084167680
adam_text
any_adam_object
author2	Herber Paula Wijs, Anton
author2_role	edt edt
author2_variant	h p hp a w aw
author_GND	(DE-588)1159981809
author_corporate	International Conference on integrated Formal Methods Leiden
author_corporate_role	aut
author_facet	Herber Paula Wijs, Anton International Conference on integrated Formal Methods Leiden
author_sort	International Conference on integrated Formal Methods Leiden
building	Verbundindex
bvnumber	BV049441794
classification_rvk	SS 4800
classification_tum	DAT 310
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783031477058 (ZDB-2-LNC)9783031477058 (OCoLC)1414547412 (DE-599)BVBBV049441794
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-47705-8
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">BV049441794</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240202</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">231201s2024 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031477058</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-47705-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-47705-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031477058</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031477058</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1414547412</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049441794</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-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on integrated Formal Methods</subfield><subfield code="n">18.</subfield><subfield code="d">2023</subfield><subfield code="c">Leiden</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1313533378</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">iFM 2023</subfield><subfield code="b">18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings</subfield><subfield code="c">Paula Herber, Anton Wijs, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2024]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xix, 400 Seiten)</subfield><subfield code="b">122 Illustrationen, 67 in Farbe</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">14300</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">Software engineering</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Leiden</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="700" ind1="0" ind2=" "><subfield code="a">Herber Paula</subfield><subfield code="0">(DE-588)1159981809</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wijs, Anton</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-47704-1</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-47706-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">14300</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">14300</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-47705-8</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_2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2024</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034787760</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2024</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</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-47705-8</subfield><subfield code="l">DE-824</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-47705-8</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-47705-8</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)1071861417 Konferenzschrift 2023 Leiden gnd-content
genre_facet	Konferenzschrift 2023 Leiden
id	DE-604.BV049441794
illustrated	Illustrated
indexdate	2025-01-11T19:09:58Z
institution	BVB
institution_GND	(DE-588)1313533378
isbn	9783031477058
issn	1611-3349
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034787760
oclc_num	1414547412
open_access_boolean
owner	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634 DE-83
owner_facet	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634 DE-83
physical	1 Online-Ressource (xix, 400 Seiten) 122 Illustrationen, 67 in Farbe
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2024 ZDB-2-LNC_2024 ZDB-2-LNC ZDB-2-LNC_2024
publishDate	2024
publishDateSearch	2024
publishDateSort	2024
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings Lecture notes in computer science Software Engineering Software engineering Formale Methode (DE-588)4333722-3 gnd
subject_GND	(DE-588)4333722-3 (DE-588)1071861417
title	iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings
title_auth	iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings
title_exact_search	iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings
title_full	iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings Paula Herber, Anton Wijs, editors
title_fullStr	iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings Paula Herber, Anton Wijs, editors
title_full_unstemmed	iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings Paula Herber, Anton Wijs, editors
title_short	iFM 2023
title_sort	ifm 2023 18th international conference ifm 2023 leiden the netherlands november 13 15 2023 proceedings
title_sub	18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings
topic	Software Engineering Software engineering Formale Methode (DE-588)4333722-3 gnd
topic_facet	Software Engineering Software engineering Formale Methode Konferenzschrift 2023 Leiden
url	https://doi.org/10.1007/978-3-031-47705-8
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT internationalconferenceonintegratedformalmethodsleiden ifm202318thinternationalconferenceifm2023leidenthenetherlandsnovember13152023proceedings AT herberpaula ifm202318thinternationalconferenceifm2023leidenthenetherlandsnovember13152023proceedings AT wijsanton ifm202318thinternationalconferenceifm2023leidenthenetherlandsnovember13152023proceedings

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen