Holdings: Computer aided verification

Computer aided verification: 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II

Saved in:

Bibliographic Details
Corporate Author:	CAV Online (Author)
Other Authors:	Lahiri, Shuvendu K. (Editor), Wang, Chao (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland Springer [2020]
Series:	Lecture notes in computer science 12225
Subjects:	Software Engineering Theory of Computation Artificial Intelligence Computer Systems Organization and Communication Networks Computer Hardware Simulation and Modeling Software engineering Computers Artificial intelligence Computer organization Computer hardware Computer simulation Künstliche Intelligenz Konferenzschrift > 2020 > Online
Online Access:	Volltext Volltext
Physical Description:	1 Online-Ressource
ISBN:	9783030532918
DOI:	10.1007/978-3-030-53291-8

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV046835046
003	DE-604
005	20210429
007	cr\|uuu---uuuuu
008	200803s2020 xx o\|\|\|\| 10\|\|\| eng d
020			\|a 9783030532918 \|c Online \|9 978-3-030-53291-8
024	7		\|a 10.1007/978-3-030-53291-8 \|2 doi
035			\|a (ZDB-2-SCS)9783030532918
035			\|a (ZDB-2-LNC)9783030532918
035			\|a (ZDB-2-SOB)9783030532918
035			\|a (ZDB-94-OAB)DOAB46851
035			\|a (OCoLC)1193292050
035			\|a (DE-599)BVBBV046835046
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-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-M483 \|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 DAT 000 \|2 stub
111	2		\|a CAV \|n 32. \|d 2020 \|c Online \|j Verfasser \|0 (DE-588)1216260141 \|4 aut
245	1	0	\|a Computer aided verification \|b 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II \|c Shuvendu K. Lahiri, Chao Wang (eds.)
264		1	\|a Cham, Switzerland \|b Springer \|c [2020]
264		4	\|c © 2020
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 12225
650		4	\|a Software Engineering
650		4	\|a Theory of Computation
650		4	\|a Artificial Intelligence
650		4	\|a Computer Systems Organization and Communication Networks
650		4	\|a Computer Hardware
650		4	\|a Simulation and Modeling
650		4	\|a Software engineering
650		4	\|a Computers
650		4	\|a Artificial intelligence
650		4	\|a Computer organization
650		4	\|a Computer hardware
650		4	\|a Computer simulation
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 2020 \|z Online \|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		\|5 DE-604
700	1		\|a Lahiri, Shuvendu K. \|4 edt
700	1		\|a Wang, Chao \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-53290-1
830		0	\|a Lecture notes in computer science \|v 12225 \|w (DE-604)BV014880109 \|9 12225
856	4	0	\|u https://doi.org/10.1007/978-3-030-53291-8 \|x Verlag \|z kostenfrei \|3 Volltext
856	4	0	\|u https://www.doabooks.org/doab?func=fulltext&uiLanguage=en&rid=46851 \|x Verlag \|z kostenfrei \|3 Volltext
912			\|a ZDB-2-SOB
912			\|a ZDB-94-OAB
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2020
940	1		\|q ZDB-2-LNC_2020
943	1		\|a oai:aleph.bib-bvb.de:BVB01-032244132

Record in the Search Index

DE-BY-FWS_katkey	847257
_version_	1824555925661286400
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author2	Lahiri, Shuvendu K. Wang, Chao
author2_role	edt edt
author2_variant	s k l sk skl c w cw
author_corporate	CAV Online
author_corporate_role	aut
author_facet	Lahiri, Shuvendu K. Wang, Chao CAV Online
author_sort	CAV Online
building	Verbundindex
bvnumber	BV046835046
classification_rvk	SS 4800
classification_tum	DAT 000
collection	ZDB-2-SOB ZDB-94-OAB ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783030532918 (ZDB-2-LNC)9783030532918 (ZDB-2-SOB)9783030532918 (ZDB-94-OAB)DOAB46851 (OCoLC)1193292050 (DE-599)BVBBV046835046
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-53291-8
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV046835046</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210429</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">200803s2020 xx o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030532918</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-53291-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-53291-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030532918</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030532918</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SOB)9783030532918</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-94-OAB)DOAB46851</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1193292050</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046835046</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-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-M483</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">32.</subfield><subfield code="d">2020</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1216260141</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II</subfield><subfield code="c">Shuvendu K. Lahiri, Chao Wang (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2020</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">12225</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</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">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Hardware</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">Computers</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 organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer hardware</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">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">2020</subfield><subfield code="z">Online</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lahiri, Shuvendu K.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wang, Chao</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-53290-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12225</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">12225</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-53291-8</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://www.doabooks.org/doab?func=fulltext&uiLanguage=en&rid=46851</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-SOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2020</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2020</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032244132</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2020 Online gnd-content
genre_facet	Konferenzschrift 2020 Online
id	DE-604.BV046835046
illustrated	Not Illustrated
index_date	2024-07-03T15:06:02Z
indexdate	2025-02-20T07:15:25Z
institution	BVB
institution_GND	(DE-588)1216260141
isbn	9783030532918
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032244132
oclc_num	1193292050
open_access_boolean	1
owner	DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 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-M483 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-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-M483 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-SOB ZDB-94-OAB ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2020 ZDB-2-LNC_2020
publishDate	2020
publishDateSearch	2020
publishDateSort	2020
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II Lecture notes in computer science Software Engineering Theory of Computation Artificial Intelligence Computer Systems Organization and Communication Networks Computer Hardware Simulation and Modeling Software engineering Computers Artificial intelligence Computer organization Computer hardware Computer simulation Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd
subject_GND	(DE-588)4033447-8 (DE-588)4116521-4 (DE-588)1071861417
title	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II
title_auth	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II
title_exact_search	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II
title_exact_search_txtP	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II
title_full	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II Shuvendu K. Lahiri, Chao Wang (eds.)
title_fullStr	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II Shuvendu K. Lahiri, Chao Wang (eds.)
title_full_unstemmed	Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II Shuvendu K. Lahiri, Chao Wang (eds.)
title_short	Computer aided verification
title_sort	computer aided verification 32nd international conference cav 2020 los angeles ca usa july 21 24 2020 proceedings part ii
title_sub	32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II
topic	Software Engineering Theory of Computation Artificial Intelligence Computer Systems Organization and Communication Networks Computer Hardware Simulation and Modeling Software engineering Computers Artificial intelligence Computer organization Computer hardware Computer simulation Künstliche Intelligenz (DE-588)4033447-8 gnd Software Engineering (DE-588)4116521-4 gnd
topic_facet	Software Engineering Theory of Computation Artificial Intelligence Computer Systems Organization and Communication Networks Computer Hardware Simulation and Modeling Software engineering Computers Artificial intelligence Computer organization Computer hardware Computer simulation Künstliche Intelligenz Konferenzschrift 2020 Online
url	https://doi.org/10.1007/978-3-030-53291-8 https://www.doabooks.org/doab?func=fulltext&uiLanguage=en&rid=46851
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT cavonline computeraidedverification32ndinternationalconferencecav2020losangelescausajuly21242020proceedingspartii AT lahirishuvenduk computeraidedverification32ndinternationalconferencecav2020losangelescausajuly21242020proceedingspartii AT wangchao computeraidedverification32ndinternationalconferencecav2020losangelescausajuly21242020proceedingspartii

Holdings

Get full text

MARC

Record in the Search Index

Similar Items