Verfügbarkeit: Tests and proofs

Tests and proofs: 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TAP Nantes (VerfasserIn)
Weitere Verfasser:	Kovács, Laura (HerausgeberIn), Meinke, Karl (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham, Switzerland Springer [2022]
Schriftenreihe:	Lecture notes in computer science 13361
Schlagworte:	Formal Logic Models of Computation Logic Computer science Softwareentwicklung Programmverifikation Softwaresystem Softwaretest Model Checking Formale Methode Beweis Konferenzschrift > 2022 > Nantes
Online-Zugang:	BTU01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UEI01 UER01 UPA01 Volltext
Beschreibung:	1 Online-Ressource (viii, 127 Seiten) 28 Illustrationen, 10 in Farbe
ISBN:	9783031098277
ISSN:	1611-3349
DOI:	10.1007/978-3-031-09827-7

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV048307155
003	DE-604
005	20220801
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	220701s2022 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783031098277 \|c Online \|9 978-3-031-09827-7
024	7		\|a 10.1007/978-3-031-09827-7 \|2 doi
035			\|a (ZDB-2-SCS)9783031098277
035			\|a (ZDB-2-LNC)9783031098277
035			\|a (OCoLC)1335408813
035			\|a (DE-599)BVBBV048307155
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-860 \|a DE-91 \|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 160 \|2 23
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 330 \|2 stub
111	2		\|a TAP \|n 16. \|d 2022 \|c Nantes \|j Verfasser \|0 (DE-588)1263675476 \|4 aut
245	1	0	\|a Tests and proofs \|b 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings \|c Laura Kovács, Karl Meinke (eds.)
264		1	\|a Cham, Switzerland \|b Springer \|c [2022]
300			\|a 1 Online-Ressource (viii, 127 Seiten) \|b 28 Illustrationen, 10 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 13361 \|x 1611-3349
650		4	\|a Formal Logic
650		4	\|a Models of Computation
650		4	\|a Logic
650		4	\|a Computer science
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaresystem \|0 (DE-588)4137282-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2022 \|z Nantes \|2 gnd-content
689	0	0	\|a Softwaresystem \|0 (DE-588)4137282-7 \|D s
689	0	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	2	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	0	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1	1	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	1	2	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	1		\|5 DE-604
700	1		\|a Kovács, Laura \|4 edt
700	1		\|a Meinke, Karl \|4 edt
711	2		\|a STAF \|d 2022 \|c Nantes \|0 (DE-588)1262593387 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-09826-0
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-09828-4
830		0	\|a Lecture notes in computer science \|v 13361 \|w (DE-604)BV014880109 \|9 13361
856	4	0	\|u https://doi.org/10.1007/978-3-031-09827-7 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS \|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2022
940	1		\|q ZDB-2-LNC_2022
999			\|a oai:aleph.bib-bvb.de:BVB01-033686830
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l BTU01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FHA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FHD01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FHI01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FHM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FHN01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FHR01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FKE01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FLA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FRO01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FWS01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l FWS02 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l HTW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l TUM01 \|p ZDB-2-LNC \|q ZDB-2-LNC_2022 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UBA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UBG01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UBM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UBT01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UBW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UBY01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UEI01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UER01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-09827-7 \|l UPA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	992261
_version_	1806195066457292800
adam_txt
any_adam_object
any_adam_object_boolean
author2	Kovács, Laura Meinke, Karl
author2_role	edt edt
author2_variant	l k lk k m km
author_corporate	TAP Nantes
author_corporate_role	aut
author_facet	Kovács, Laura Meinke, Karl TAP Nantes
author_sort	TAP Nantes
building	Verbundindex
bvnumber	BV048307155
classification_rvk	SS 4800
classification_tum	DAT 330
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783031098277 (ZDB-2-LNC)9783031098277 (OCoLC)1335408813 (DE-599)BVBBV048307155
dewey-full	160
dewey-hundreds	100 - Philosophy & psychology
dewey-ones	160 - Philosophical logic
dewey-raw	160
dewey-search	160
dewey-sort	3160
dewey-tens	160 - Philosophical logic
discipline	Informatik Philosophie
discipline_str_mv	Informatik Philosophie
doi_str_mv	10.1007/978-3-031-09827-7
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05347nmm a2201009zcb4500</leader><controlfield tag="001">BV048307155</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220801 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220701s2022 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031098277</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-09827-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-09827-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031098277</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031098277</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1335408813</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048307155</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-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-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">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">16.</subfield><subfield code="d">2022</subfield><subfield code="c">Nantes</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1263675476</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tests and proofs</subfield><subfield code="b">16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings</subfield><subfield code="c">Laura Kovács, Karl Meinke (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 127 Seiten)</subfield><subfield code="b">28 Illustrationen, 10 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">13361</subfield><subfield code="x">1611-3349</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Models of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">2022</subfield><subfield code="z">Nantes</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kovács, Laura</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meinke, Karl</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">STAF</subfield><subfield code="d">2022</subfield><subfield code="c">Nantes</subfield><subfield code="0">(DE-588)1262593387</subfield><subfield code="4">oth</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-09826-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-031-09828-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13361</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">13361</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-09827-7</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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2022</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2022</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033686830</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-09827-7</subfield><subfield code="l">BTU01</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-09827-7</subfield><subfield code="l">FHA01</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-09827-7</subfield><subfield code="l">FHD01</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-09827-7</subfield><subfield code="l">FHI01</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-09827-7</subfield><subfield code="l">FHM01</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-09827-7</subfield><subfield code="l">FHN01</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-09827-7</subfield><subfield code="l">FHR01</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-09827-7</subfield><subfield code="l">FKE01</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-09827-7</subfield><subfield code="l">FLA01</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-09827-7</subfield><subfield code="l">FRO01</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-09827-7</subfield><subfield code="l">FWS01</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-09827-7</subfield><subfield code="l">FWS02</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-09827-7</subfield><subfield code="l">HTW01</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-09827-7</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2022</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-09827-7</subfield><subfield code="l">UBA01</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-09827-7</subfield><subfield code="l">UBG01</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-09827-7</subfield><subfield code="l">UBM01</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-09827-7</subfield><subfield code="l">UBR01</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-09827-7</subfield><subfield code="l">UBT01</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-09827-7</subfield><subfield code="l">UBW01</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-09827-7</subfield><subfield code="l">UBY01</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-09827-7</subfield><subfield code="l">UEI01</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-09827-7</subfield><subfield code="l">UER01</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-09827-7</subfield><subfield code="l">UPA01</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 2022 Nantes gnd-content
genre_facet	Konferenzschrift 2022 Nantes
id	DE-604.BV048307155
illustrated	Not Illustrated
index_date	2024-07-03T20:08:30Z
indexdate	2024-08-01T16:17:23Z
institution	BVB
institution_GND	(DE-588)1263675476 (DE-588)1262593387
isbn	9783031098277
issn	1611-3349
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033686830
oclc_num	1335408813
open_access_boolean
owner	DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM 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-91 DE-BY-TUM 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 (viii, 127 Seiten) 28 Illustrationen, 10 in Farbe
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2022 ZDB-2-LNC_2022 ZDB-2-LNC ZDB-2-LNC_2022
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings Lecture notes in computer science Formal Logic Models of Computation Logic Computer science Softwareentwicklung (DE-588)4116522-6 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Formale Methode (DE-588)4333722-3 gnd Beweis (DE-588)4132532-1 gnd
subject_GND	(DE-588)4116522-6 (DE-588)4135576-3 (DE-588)4137282-7 (DE-588)4132652-0 (DE-588)4434799-6 (DE-588)4333722-3 (DE-588)4132532-1 (DE-588)1071861417
title	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings
title_auth	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings
title_exact_search	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings
title_exact_search_txtP	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings
title_full	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings Laura Kovács, Karl Meinke (eds.)
title_fullStr	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings Laura Kovács, Karl Meinke (eds.)
title_full_unstemmed	Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings Laura Kovács, Karl Meinke (eds.)
title_short	Tests and proofs
title_sort	tests and proofs 16th international conference tap 2022 held as part of staf 2022 nantes france july 5 2022 proceedings
title_sub	16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings
topic	Formal Logic Models of Computation Logic Computer science Softwareentwicklung (DE-588)4116522-6 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Formale Methode (DE-588)4333722-3 gnd Beweis (DE-588)4132532-1 gnd
topic_facet	Formal Logic Models of Computation Logic Computer science Softwareentwicklung Programmverifikation Softwaresystem Softwaretest Model Checking Formale Methode Beweis Konferenzschrift 2022 Nantes
url	https://doi.org/10.1007/978-3-031-09827-7
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT tapnantes testsandproofs16thinternationalconferencetap2022heldaspartofstaf2022nantesfrancejuly52022proceedings AT kovacslaura testsandproofs16thinternationalconferencetap2022heldaspartofstaf2022nantesfrancejuly52022proceedings AT meinkekarl testsandproofs16thinternationalconferencetap2022heldaspartofstaf2022nantesfrancejuly52022proceedings AT stafnantes testsandproofs16thinternationalconferencetap2022heldaspartofstaf2022nantesfrancejuly52022proceedings

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge