Verfügbarkeit: Computer aided verification

Computer aided verification: 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CAV Online (VerfasserIn)
Weitere Verfasser:	Silva, Alexandra 1984- (HerausgeberIn), Leino, K. Rustan M. (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham, Switzerland Springer [2021]
Schriftenreihe:	Lecture notes in computer science 12760 : Theoretical computer science and general issues
Schlagworte:	Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Simulation and Modeling Software engineering Mathematical logic Artificial intelligence Computer logic Computer simulation Mathematische Logik Künstliche Intelligenz Software Engineering Konferenzschrift > 2021
Online-Zugang:	Volltext Volltext
Beschreibung:	1 Online-Ressource
ISBN:	9783030816889
DOI:	10.1007/978-3-030-81688-9

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV047420569
003	DE-604
005	20240620
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	210816s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783030816889 \|c Online \|9 978-3-030-81688-9
024	7		\|a 10.1007/978-3-030-81688-9 \|2 doi
035			\|a (ZDB-2-SCS)9783030816889
035			\|a (ZDB-2-LNC)9783030816889
035			\|a (ZDB-2-SOB)9783030816889
035			\|a (OCoLC)1264261838
035			\|a (DE-599)BVBBV047420569
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-525 \|a DE-12 \|a DE-634 \|a DE-210 \|a DE-521 \|a DE-1102 \|a DE-1046 \|a DE-858 \|a DE-1028 \|a DE-Aug4 \|a DE-1050 \|a DE-573 \|a DE-M347 \|a DE-92 \|a DE-1051 \|a DE-898 \|a DE-859 \|a DE-860 \|a DE-1049 \|a DE-861 \|a DE-188 \|a DE-863 \|a DE-862 \|a DE-523 \|a DE-Re13 \|a DE-Y3 \|a DE-255 \|a DE-Y7 \|a DE-Y2 \|a DE-70 \|a DE-2174 \|a DE-127 \|a DE-22 \|a DE-155 \|a DE-150 \|a DE-91 \|a DE-384 \|a DE-473 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-20 \|a DE-706 \|a DE-824 \|a DE-29 \|a DE-739 \|a DE-235
082	0		\|a 005.1 \|2 23
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 325 \|2 stub
084			\|a DAT 500 \|2 stub
111	2		\|a CAV \|n 33. \|d 2021 \|c Online \|j Verfasser \|0 (DE-588)1239258518 \|4 aut
245	1	0	\|a Computer aided verification \|b 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II \|c Alexandra Silva, K. Rustan M. Leino, editors
264		1	\|a Cham, Switzerland \|b Springer \|c [2021]
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 12760 \|a Theoretical computer science and general issues
650		4	\|a Software Engineering/Programming and Operating Systems
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Artificial Intelligence
650		4	\|a Logics and Meanings of Programs
650		4	\|a Simulation and Modeling
650		4	\|a Software engineering
650		4	\|a Mathematical logic
650		4	\|a Artificial intelligence
650		4	\|a Computer logic
650		4	\|a Computer simulation
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2021 \|2 gnd-content
689	0	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	1	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	0	2	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
700	1		\|a Silva, Alexandra \|d 1984- \|0 (DE-588)1194489591 \|4 edt
700	1		\|a Leino, K. Rustan M. \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-81687-2
830		0	\|a Lecture notes in computer science \|v 12760 : Theoretical computer science and general issues \|w (DE-604)BV014880109 \|9 12760
856	4	0	\|u https://doi.org/10.1007/978-3-030-81688-9 \|x Verlag \|z kostenfrei \|3 Volltext
856	4	0	\|u https://directory.doabooks.org/handle/20.500.12854/71644 \|x Verlag \|z kostenfrei \|3 Volltext
912			\|a ZDB-2-SCS \|a ZDB-2-LNC \|a ZDB-2-SOB \|a ZDB-94-OAB
940	1		\|q ZDB-2-SCS_2021
940	1		\|q ZDB-2-LNC_2021

Datensatz im Suchindex

DE-BY-FWS_katkey	919346
_version_	1806528130415853568
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author2	Silva, Alexandra 1984- Leino, K. Rustan M.
author2_role	edt edt
author2_variant	a s as k r m l krm krml
author_GND	(DE-588)1194489591
author_corporate	CAV Online
author_corporate_role	aut
author_facet	Silva, Alexandra 1984- Leino, K. Rustan M. CAV Online
author_sort	CAV Online
building	Verbundindex
bvnumber	BV047420569
classification_rvk	SS 4800
classification_tum	DAT 325 DAT 500
collection	ZDB-2-SCS ZDB-2-LNC ZDB-2-SOB ZDB-94-OAB
ctrlnum	(ZDB-2-SCS)9783030816889 (ZDB-2-LNC)9783030816889 (ZDB-2-SOB)9783030816889 (OCoLC)1264261838 (DE-599)BVBBV047420569
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-030-81688-9
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zcb4500</leader><controlfield tag="001">BV047420569</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240620</controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\|</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">210816s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030816889</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-81688-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-81688-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030816889</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030816889</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SOB)9783030816889</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1264261838</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047420569</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-525</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-Re13</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-255</subfield><subfield code="a">DE-Y7</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-2174</subfield><subfield code="a">DE-127</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-235</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">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 325</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">33.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1239258518</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II</subfield><subfield code="c">Alexandra Silva, K. Rustan M. Leino, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">12760</subfield><subfield code="a">Theoretical computer science and general issues</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">2021</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Silva, Alexandra</subfield><subfield code="d">1984-</subfield><subfield code="0">(DE-588)1194489591</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leino, K. Rustan M.</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-030-81687-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12760 : Theoretical computer science and general issues</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">12760</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-81688-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://directory.doabooks.org/handle/20.500.12854/71644</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</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><subfield code="a">ZDB-2-SOB</subfield><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2021</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2021</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2021 gnd-content
genre_facet	Konferenzschrift 2021
id	DE-604.BV047420569
illustrated	Not Illustrated
index_date	2024-07-03T17:56:46Z
indexdate	2024-08-05T08:31:19Z
institution	BVB
institution_GND	(DE-588)1239258518
isbn	9783030816889
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032823171
oclc_num	1264261838
open_access_boolean	1
owner	DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-188 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235
owner_facet	DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-188 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235
physical	1 Online-Ressource
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SOB ZDB-94-OAB ZDB-2-SCS_2021 ZDB-2-LNC_2021
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science Theoretical computer science and general issues
spellingShingle	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II Lecture notes in computer science Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Simulation and Modeling Software engineering Mathematical logic Artificial intelligence Computer logic Computer simulation Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4033447-8 (DE-588)4116521-4 (DE-588)1071861417
title	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II
title_auth	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II
title_exact_search	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II
title_exact_search_txtP	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20–23, 2021, proceedings, part II
title_full	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II Alexandra Silva, K. Rustan M. Leino, editors
title_fullStr	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II Alexandra Silva, K. Rustan M. Leino, editors
title_full_unstemmed	Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II Alexandra Silva, K. Rustan M. Leino, editors
title_short	Computer aided verification
title_sort	computer aided verification 33rd international conference cav 2021 virtual event july 20 23 2021 proceedings part ii
title_sub	33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II
topic	Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Simulation and Modeling Software engineering Mathematical logic Artificial intelligence Computer logic Computer simulation Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd
topic_facet	Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Simulation and Modeling Software engineering Mathematical logic Artificial intelligence Computer logic Computer simulation Mathematische Logik Künstliche Intelligenz Software Engineering Konferenzschrift 2021
url	https://doi.org/10.1007/978-3-030-81688-9 https://directory.doabooks.org/handle/20.500.12854/71644
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT cavonline computeraidedverification33rdinternationalconferencecav2021virtualeventjuly20232021proceedingspartii AT silvaalexandra computeraidedverification33rdinternationalconferencecav2021virtualeventjuly20232021proceedingspartii AT leinokrustanm computeraidedverification33rdinternationalconferencecav2021virtualeventjuly20232021proceedingspartii

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge