Verfügbarkeit: Formal Methods for Software Engineering

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Roggenbach, Markus (VerfasserIn), Cerone, Antonio (VerfasserIn), Schlingloff, Bernd-Holger (VerfasserIn), Schneider, Gerardo (VerfasserIn), Shaikh, Siraj Ahmed (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 2022 Cham Springer
Ausgabe:	1st ed. 2022
Schriftenreihe:	Texts in Theoretical Computer Science. An EATCS Series
Schlagwörter:	Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Mathematical and Computational Engineering Applications Computer and Information Systems Applications Computer science Software engineering Computer science—Mathematics Engineering mathematics Engineering—Data processing Application software
Links:	https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3 https://doi.org/10.1007/978-3-030-38800-3
Umfang:	1 Online-Ressource (XXVIII, 524 p. 47 illus., 12 illus. in color)
ISBN:	9783030388003
ISSN:	1862-4502
DOI:	10.1007/978-3-030-38800-3

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV048307167
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	220701s2022 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783030388003 \|c Online \|9 978-3-030-38800-3
024	7		\|a 10.1007/978-3-030-38800-3 \|2 doi
035			\|a (ZDB-2-SCS)9783030388003
035			\|a (OCoLC)1335411438
035			\|a (DE-599)BVBBV048307167
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-188 \|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-824 \|a DE-384 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 004.0151 \|2 23
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 000 \|2 stub
100	1		\|a Roggenbach, Markus \|e Verfasser \|4 aut
245	1	0	\|a Formal Methods for Software Engineering \|b Languages, Methods, Application Domains \|c by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
250			\|a 1st ed. 2022
264		1	\|a Cham \|b Springer International Publishing \|c 2022
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (XXVIII, 524 p. 47 illus., 12 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Texts in Theoretical Computer Science. An EATCS Series \|x 1862-4502
650		4	\|a Theory of Computation
650		4	\|a Software Engineering
650		4	\|a Computer Science Logic and Foundations of Programming
650		4	\|a Symbolic and Algebraic Manipulation
650		4	\|a Mathematical and Computational Engineering Applications
650		4	\|a Computer and Information Systems Applications
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Computer science—Mathematics
650		4	\|a Engineering mathematics
650		4	\|a Engineering—Data processing
650		4	\|a Application software
700	1		\|a Cerone, Antonio \|4 aut
700	1		\|a Schlingloff, Bernd-Holger \|4 aut
700	1		\|a Schneider, Gerardo \|4 aut
700	1		\|a Shaikh, Siraj Ahmed \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-38799-0
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-38801-0
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-38802-7
856	4	0	\|u https://doi.org/10.1007/978-3-030-38800-3 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2022
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033686842
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-1050 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-898 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-863 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-862 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-824 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-38800-3 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1818989626134626304
any_adam_object
author	Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger Schneider, Gerardo Shaikh, Siraj Ahmed
author_facet	Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger Schneider, Gerardo Shaikh, Siraj Ahmed
author_role	aut aut aut aut aut
author_sort	Roggenbach, Markus
author_variant	m r mr a c ac b h s bhs g s gs s a s sa sas
building	Verbundindex
bvnumber	BV048307167
classification_rvk	ST 230
classification_tum	DAT 000
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783030388003 (OCoLC)1335411438 (DE-599)BVBBV048307167
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-030-38800-3
edition	1st ed. 2022
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04731nam a2200889zcb4500</leader><controlfield tag="001">BV048307167</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220701s2022 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030388003</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-38800-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-38800-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030388003</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1335411438</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048307167</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-355</subfield><subfield code="a">DE-860</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-188</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-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</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">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Roggenbach, Markus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Methods for Software Engineering</subfield><subfield code="b">Languages, Methods, Application Domains</subfield><subfield code="c">by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2022</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2022</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 (XXVIII, 524 p. 47 illus., 12 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">Texts in Theoretical Computer Science. An EATCS Series</subfield><subfield code="x">1862-4502</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 Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical and Computational Engineering Applications</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">Computer science</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—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering—Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cerone, Antonio</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schlingloff, Bernd-Holger</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schneider, Gerardo</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shaikh, Siraj Ahmed</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-030-38799-0</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-030-38801-0</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-030-38802-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-38800-3</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2022</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033686842</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-38800-3</subfield><subfield code="l">DE-634</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-030-38800-3</subfield><subfield code="l">DE-Aug4</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-030-38800-3</subfield><subfield code="l">DE-1050</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-030-38800-3</subfield><subfield code="l">DE-573</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-030-38800-3</subfield><subfield code="l">DE-M347</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-030-38800-3</subfield><subfield code="l">DE-92</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-030-38800-3</subfield><subfield code="l">DE-898</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-030-38800-3</subfield><subfield code="l">DE-859</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-030-38800-3</subfield><subfield code="l">DE-860</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-030-38800-3</subfield><subfield code="l">DE-861</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-030-38800-3</subfield><subfield code="l">DE-863</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-030-38800-3</subfield><subfield code="l">DE-862</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-030-38800-3</subfield><subfield code="l">DE-523</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-030-38800-3</subfield><subfield code="l">DE-384</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-030-38800-3</subfield><subfield code="l">DE-473</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-030-38800-3</subfield><subfield code="l">DE-19</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-030-38800-3</subfield><subfield code="l">DE-355</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-030-38800-3</subfield><subfield code="l">DE-703</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-030-38800-3</subfield><subfield code="l">DE-20</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-030-38800-3</subfield><subfield code="l">DE-706</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-030-38800-3</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-030-38800-3</subfield><subfield code="l">DE-29</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-030-38800-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV048307167
illustrated	Not Illustrated
indexdate	2024-12-20T19:41:28Z
institution	BVB
isbn	9783030388003
issn	1862-4502
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033686842
oclc_num	1335411438
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 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-824 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-355 DE-BY-UBR DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 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-824 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (XXVIII, 524 p. 47 illus., 12 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2022
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
publisher	Springer International Publishing Springer
record_format	marc
series2	Texts in Theoretical Computer Science. An EATCS Series
spelling	Roggenbach, Markus Verfasser aut Formal Methods for Software Engineering Languages, Methods, Application Domains by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh 1st ed. 2022 Cham Springer International Publishing 2022 Cham Springer 1 Online-Ressource (XXVIII, 524 p. 47 illus., 12 illus. in color) txt rdacontent c rdamedia cr rdacarrier Texts in Theoretical Computer Science. An EATCS Series 1862-4502 Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Mathematical and Computational Engineering Applications Computer and Information Systems Applications Computer science Software engineering Computer science—Mathematics Engineering mathematics Engineering—Data processing Application software Cerone, Antonio aut Schlingloff, Bernd-Holger aut Schneider, Gerardo aut Shaikh, Siraj Ahmed aut Erscheint auch als Druck-Ausgabe 978-3-030-38799-0 Erscheint auch als Druck-Ausgabe 978-3-030-38801-0 Erscheint auch als Druck-Ausgabe 978-3-030-38802-7 https://doi.org/10.1007/978-3-030-38800-3 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger Schneider, Gerardo Shaikh, Siraj Ahmed Formal Methods for Software Engineering Languages, Methods, Application Domains Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Mathematical and Computational Engineering Applications Computer and Information Systems Applications Computer science Software engineering Computer science—Mathematics Engineering mathematics Engineering—Data processing Application software
title	Formal Methods for Software Engineering Languages, Methods, Application Domains
title_auth	Formal Methods for Software Engineering Languages, Methods, Application Domains
title_exact_search	Formal Methods for Software Engineering Languages, Methods, Application Domains
title_full	Formal Methods for Software Engineering Languages, Methods, Application Domains by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
title_fullStr	Formal Methods for Software Engineering Languages, Methods, Application Domains by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
title_full_unstemmed	Formal Methods for Software Engineering Languages, Methods, Application Domains by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
title_short	Formal Methods for Software Engineering
title_sort	formal methods for software engineering languages methods application domains
title_sub	Languages, Methods, Application Domains
topic	Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Mathematical and Computational Engineering Applications Computer and Information Systems Applications Computer science Software engineering Computer science—Mathematics Engineering mathematics Engineering—Data processing Application software
topic_facet	Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Mathematical and Computational Engineering Applications Computer and Information Systems Applications Computer science Software engineering Computer science—Mathematics Engineering mathematics Engineering—Data processing Application software
url	https://doi.org/10.1007/978-3-030-38800-3
work_keys_str_mv	AT roggenbachmarkus formalmethodsforsoftwareengineeringlanguagesmethodsapplicationdomains AT ceroneantonio formalmethodsforsoftwareengineeringlanguagesmethodsapplicationdomains AT schlingloffberndholger formalmethodsforsoftwareengineeringlanguagesmethodsapplicationdomains AT schneidergerardo formalmethodsforsoftwareengineeringlanguagesmethodsapplicationdomains AT shaikhsirajahmed formalmethodsforsoftwareengineeringlanguagesmethodsapplicationdomains

Verfügbarkeit

‌

Online lesen