Verfügbarkeit: Rigorous state-based methods | Technische Universität München

Rigorous state-based methods: 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Rigorous State-Based Methods Bergamo (VerfasserIn)
Weitere beteiligte Personen:	Bonfanti, Silvia (HerausgeberIn), Gargantini, Angelo (HerausgeberIn), Leuschel, Michael (HerausgeberIn), Riccobene, Elvinia (HerausgeberIn), Scandurra, Patrizia (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Cham, Switzerland Springer 2024
Ausgabe:	Corrected publication
Schriftenreihe:	Lecture notes in computer science 14759
Schlagwörter:	Formal Languages and Automata Theory Computer Engineering and Networks Computer and Information Systems Applications Logic in AI. Compilers and Interpreters Machine theory Computer engineering Computer networks Application software Logic programming Compilers (Computer programs) Konferenzschrift
Links:	https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2 https://doi.org/10.1007/978-3-031-63790-2
Umfang:	1 Online-Ressource (xv, 398 Seiten) 137 Illustrationen, 101 in Farbe
ISBN:	9783031637902
ISSN:	1611-3349
DOI:	10.1007/978-3-031-63790-2

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV049780379
003	DE-604
005	20241004
007	cr\|uuu---uuuuu
008	240715s2024 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783031637902 \|c Online \|9 978-3-031-63790-2
024	7		\|a 10.1007/978-3-031-63790-2 \|2 doi
035			\|a (ZDB-2-SCS)9783031637902
035			\|a (ZDB-2-LNC)9783031637902
035			\|a (OCoLC)1446259047
035			\|a (DE-599)BVBBV049780379
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-91 \|a DE-19 \|a DE-83 \|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
082	0		\|a 005.131 \|2 23
084			\|a DAT 000 \|2 stub
111	2		\|a International Conference on Rigorous State-Based Methods \|n 10. \|d 2024 \|c Bergamo \|j Verfasser \|0 (DE-588)133623296X \|4 aut
245	1	0	\|a Rigorous state-based methods \|b 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings \|c Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra, editors
250			\|a Corrected publication
264		1	\|a Cham, Switzerland \|b Springer \|c 2024
300			\|a 1 Online-Ressource (xv, 398 Seiten) \|b 137 Illustrationen, 101 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 14759 \|x 1611-3349
650		4	\|a Formal Languages and Automata Theory
650		4	\|a Computer Engineering and Networks
650		4	\|a Computer and Information Systems Applications
650		4	\|a Logic in AI.
650		4	\|a Compilers and Interpreters
650		4	\|a Machine theory
650		4	\|a Computer engineering
650		4	\|a Computer networks
650		4	\|a Application software
650		4	\|a Logic programming
650		4	\|a Compilers (Computer programs)
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
700	1		\|a Bonfanti, Silvia \|4 edt
700	1		\|a Gargantini, Angelo \|4 edt
700	1		\|a Leuschel, Michael \|4 edt
700	1		\|a Riccobene, Elvinia \|4 edt
700	1		\|a Scandurra, Patrizia \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-63789-6
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-63791-9
830		0	\|a Lecture notes in computer science \|v 14759 \|w (DE-604)BV014880109 \|9 14759
856	4	0	\|u https://doi.org/10.1007/978-3-031-63790-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_2024
940	1		\|q ZDB-2-LNC_2024
943	1		\|a oai:aleph.bib-bvb.de:BVB01-035121362
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-522 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-1050 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-573 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-898 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-860 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-863 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-862 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-523 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|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-63790-2 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-355 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-824 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-63790-2 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2801347
_version_	1821937046856400898
any_adam_object
author2	Bonfanti, Silvia Gargantini, Angelo Leuschel, Michael Riccobene, Elvinia Scandurra, Patrizia
author2_role	edt edt edt edt edt
author2_variant	s b sb a g ag m l ml e r er p s ps
author_corporate	International Conference on Rigorous State-Based Methods Bergamo
author_corporate_role	aut
author_facet	Bonfanti, Silvia Gargantini, Angelo Leuschel, Michael Riccobene, Elvinia Scandurra, Patrizia International Conference on Rigorous State-Based Methods Bergamo
author_sort	International Conference on Rigorous State-Based Methods Bergamo
building	Verbundindex
bvnumber	BV049780379
classification_tum	DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783031637902 (ZDB-2-LNC)9783031637902 (OCoLC)1446259047 (DE-599)BVBBV049780379
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-031-63790-2
edition	Corrected publication
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05075nam a2200937zcb4500</leader><controlfield tag="001">BV049780379</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241004 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">240715s2024 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031637902</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-63790-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-63790-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031637902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031637902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1446259047</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049780379</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-83</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Rigorous State-Based Methods</subfield><subfield code="n">10.</subfield><subfield code="d">2024</subfield><subfield code="c">Bergamo</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)133623296X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rigorous state-based methods</subfield><subfield code="b">10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings</subfield><subfield code="c">Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra, editors</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Corrected publication</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 (xv, 398 Seiten)</subfield><subfield code="b">137 Illustrationen, 101 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">14759</subfield><subfield code="x">1611-3349</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 Engineering and Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer and Information Systems Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers and Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bonfanti, Silvia</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gargantini, Angelo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leuschel, Michael</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Riccobene, Elvinia</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Scandurra, Patrizia</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-63789-6</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-63791-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">14759</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">14759</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-63790-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_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-035121362</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-2</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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-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-63790-2</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-63790-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-63790-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></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV049780379
illustrated	Illustrated
indexdate	2024-12-20T20:21:42Z
institution	BVB
institution_GND	(DE-588)133623296X
isbn	9783031637902
issn	1611-3349
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-035121362
oclc_num	1446259047
open_access_boolean
owner	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-83 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
owner_facet	DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-83 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
physical	1 Online-Ressource (xv, 398 Seiten) 137 Illustrationen, 101 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	Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings Lecture notes in computer science Formal Languages and Automata Theory Computer Engineering and Networks Computer and Information Systems Applications Logic in AI. Compilers and Interpreters Machine theory Computer engineering Computer networks Application software Logic programming Compilers (Computer programs)
subject_GND	(DE-588)1071861417
title	Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings
title_auth	Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings
title_exact_search	Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings
title_full	Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra, editors
title_fullStr	Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra, editors
title_full_unstemmed	Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra, editors
title_short	Rigorous state-based methods
title_sort	rigorous state based methods 10th international conference abz 2024 bergamo italy june 25 28 2024 proceedings
title_sub	10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings
topic	Formal Languages and Automata Theory Computer Engineering and Networks Computer and Information Systems Applications Logic in AI. Compilers and Interpreters Machine theory Computer engineering Computer networks Application software Logic programming Compilers (Computer programs)
topic_facet	Formal Languages and Automata Theory Computer Engineering and Networks Computer and Information Systems Applications Logic in AI. Compilers and Interpreters Machine theory Computer engineering Computer networks Application software Logic programming Compilers (Computer programs) Konferenzschrift
url	https://doi.org/10.1007/978-3-031-63790-2
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT internationalconferenceonrigorousstatebasedmethodsbergamo rigorousstatebasedmethods10thinternationalconferenceabz2024bergamoitalyjune25282024proceedings AT bonfantisilvia rigorousstatebasedmethods10thinternationalconferenceabz2024bergamoitalyjune25282024proceedings AT gargantiniangelo rigorousstatebasedmethods10thinternationalconferenceabz2024bergamoitalyjune25282024proceedings AT leuschelmichael rigorousstatebasedmethods10thinternationalconferenceabz2024bergamoitalyjune25282024proceedings AT riccobeneelvinia rigorousstatebasedmethods10thinternationalconferenceabz2024bergamoitalyjune25282024proceedings AT scandurrapatrizia rigorousstatebasedmethods10thinternationalconferenceabz2024bergamoitalyjune25282024proceedings

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen