Verfügbarkeit: Concise Guide to Software Verification

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Huisman, Marieke (VerfasserIn), Wijs, Anton (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 2023 Cham Springer
Ausgabe:	1st ed. 2023
Schriftenreihe:	Texts in Computer Science
Schlagwörter:	Software Testing Software Engineering Computational Number Theory Computer programs—Testing Software engineering Number theory
Links:	https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4 https://doi.org/10.1007/978-3-031-30167-4
Umfang:	1 Online-Ressource (IX, 248 p. 146 illus., 127 illus. in color)
ISBN:	9783031301674
ISSN:	1868-095X
DOI:	10.1007/978-3-031-30167-4

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV049083013
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	230801s2023 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783031301674 \|c Online \|9 978-3-031-30167-4
024	7		\|a 10.1007/978-3-031-30167-4 \|2 doi
035			\|a (ZDB-2-SCS)9783031301674
035			\|a (OCoLC)1392141737
035			\|a (DE-599)BVBBV049083013
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-19 \|a DE-858 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-188 \|a DE-523 \|a DE-1049 \|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.14 \|2 23
084			\|a DAT 000 \|2 stub
100	1		\|a Huisman, Marieke \|e Verfasser \|4 aut
245	1	0	\|a Concise Guide to Software Verification \|b From Model Checking to Annotation Checking \|c by Marieke Huisman, Anton Wijs
250			\|a 1st ed. 2023
264		1	\|a Cham \|b Springer International Publishing \|c 2023
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (IX, 248 p. 146 illus., 127 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Texts in Computer Science \|x 1868-095X
650		4	\|a Software Testing
650		4	\|a Software Engineering
650		4	\|a Computational Number Theory
650		4	\|a Computer programs—Testing
650		4	\|a Software engineering
650		4	\|a Number theory
700	1		\|a Wijs, Anton \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-30166-7
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-30168-1
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-30169-8
856	4	0	\|u https://doi.org/10.1007/978-3-031-30167-4 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2023
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034344895
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-522 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-858 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-1050 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-898 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-1049 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-863 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-862 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-824 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-30167-4 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1818990813361733632
any_adam_object
author	Huisman, Marieke Wijs, Anton
author_facet	Huisman, Marieke Wijs, Anton
author_role	aut aut
author_sort	Huisman, Marieke
author_variant	m h mh a w aw
building	Verbundindex
bvnumber	BV049083013
classification_tum	DAT 000
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783031301674 (OCoLC)1392141737 (DE-599)BVBBV049083013
dewey-full	005.14
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.14
dewey-search	005.14
dewey-sort	15.14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-031-30167-4
edition	1st ed. 2023
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04415nam a2200805zcb4500</leader><controlfield tag="001">BV049083013</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">230801s2023 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031301674</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-30167-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-30167-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031301674</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1392141737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049083013</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-19</subfield><subfield code="a">DE-858</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-1049</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.14</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="100" ind1="1" ind2=" "><subfield code="a">Huisman, Marieke</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concise Guide to Software Verification</subfield><subfield code="b">From Model Checking to Annotation Checking</subfield><subfield code="c">by Marieke Huisman, Anton Wijs</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2023</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 (IX, 248 p. 146 illus., 127 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 Computer Science</subfield><subfield code="x">1868-095X</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Number Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs—Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Number theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wijs, Anton</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-30166-7</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-30168-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-30169-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-30167-4</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_2023</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034344895</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-30167-4</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-30167-4</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-031-30167-4</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</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-031-30167-4</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-30167-4</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-031-30167-4</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.BV049083013
illustrated	Not Illustrated
indexdate	2024-12-20T20:00:20Z
institution	BVB
isbn	9783031301674
issn	1868-095X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034344895
oclc_num	1392141737
open_access_boolean
owner	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-1049 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-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-1049 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 (IX, 248 p. 146 illus., 127 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2023
publishDate	2023
publishDateSearch	2023
publishDateSort	2023
publisher	Springer International Publishing Springer
record_format	marc
series2	Texts in Computer Science
spelling	Huisman, Marieke Verfasser aut Concise Guide to Software Verification From Model Checking to Annotation Checking by Marieke Huisman, Anton Wijs 1st ed. 2023 Cham Springer International Publishing 2023 Cham Springer 1 Online-Ressource (IX, 248 p. 146 illus., 127 illus. in color) txt rdacontent c rdamedia cr rdacarrier Texts in Computer Science 1868-095X Software Testing Software Engineering Computational Number Theory Computer programs—Testing Software engineering Number theory Wijs, Anton aut Erscheint auch als Druck-Ausgabe 978-3-031-30166-7 Erscheint auch als Druck-Ausgabe 978-3-031-30168-1 Erscheint auch als Druck-Ausgabe 978-3-031-30169-8 https://doi.org/10.1007/978-3-031-30167-4 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Huisman, Marieke Wijs, Anton Concise Guide to Software Verification From Model Checking to Annotation Checking Software Testing Software Engineering Computational Number Theory Computer programs—Testing Software engineering Number theory
title	Concise Guide to Software Verification From Model Checking to Annotation Checking
title_auth	Concise Guide to Software Verification From Model Checking to Annotation Checking
title_exact_search	Concise Guide to Software Verification From Model Checking to Annotation Checking
title_full	Concise Guide to Software Verification From Model Checking to Annotation Checking by Marieke Huisman, Anton Wijs
title_fullStr	Concise Guide to Software Verification From Model Checking to Annotation Checking by Marieke Huisman, Anton Wijs
title_full_unstemmed	Concise Guide to Software Verification From Model Checking to Annotation Checking by Marieke Huisman, Anton Wijs
title_short	Concise Guide to Software Verification
title_sort	concise guide to software verification from model checking to annotation checking
title_sub	From Model Checking to Annotation Checking
topic	Software Testing Software Engineering Computational Number Theory Computer programs—Testing Software engineering Number theory
topic_facet	Software Testing Software Engineering Computational Number Theory Computer programs—Testing Software engineering Number theory
url	https://doi.org/10.1007/978-3-031-30167-4
work_keys_str_mv	AT huismanmarieke conciseguidetosoftwareverificationfrommodelcheckingtoannotationchecking AT wijsanton conciseguidetosoftwareverificationfrommodelcheckingtoannotationchecking

Verfügbarkeit

‌

Online lesen