Verfügbarkeit: Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Finkbeiner, Bernd 1972- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer International Publishing [2015]
Ausgabe:	1st ed.
Schriftenreihe:	Lecture Notes in Computer Science 9364
Schlagworte:	Computer science Software engineering Computer Science Software Engineering Informatik Verifikation Formale Methode CASHE Systemsynthese Systementwurf Systemanalyse Konferenzschrift
Online-Zugang:	Volltext Abstract
Beschreibung:	XIII, 520 Seiten Illustrationen
ISBN:	9783319249537 9783319249520
ISSN:	0302-9743
DOI:	10.1007/978-3-319-24953-7

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV043209509
003	DE-604
005	20200513
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	151215s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319249537 \|c Online \|9 978-3-319-24953-7
020			\|a 9783319249520 \|c Print \|9 978-3-319-24952-0
024	7		\|a 10.1007/978-3-319-24953-7 \|2 doi
035			\|a (OCoLC)929997143
035			\|a (DE-599)BVBBV043209509
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-384 \|a DE-Aug4 \|a DE-M347 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-706 \|a DE-20 \|a DE-739 \|a DE-92 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-355
082	0		\|a 005.1 \|2 23
084			\|a DAT 550f \|2 stub
084			\|a DAT 325f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Automated Technology for Verification and Analysis \|b 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings \|c edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
250			\|a 1st ed.
264		1	\|a Cham \|b Springer International Publishing \|c [2015]
264		4	\|c © 2015
300			\|a XIII, 520 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 9364 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Software Engineering
650		4	\|a Informatik
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|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 CASHE \|0 (DE-588)4388634-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemsynthese \|0 (DE-588)4198909-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systementwurf \|0 (DE-588)4261480-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemanalyse \|0 (DE-588)4116673-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0	1	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0	2	\|a Systementwurf \|0 (DE-588)4261480-6 \|D s
689	0	3	\|a Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	0	4	\|a Systemsynthese \|0 (DE-588)4198909-0 \|D s
689	0	5	\|a CASHE \|0 (DE-588)4388634-6 \|D s
689	0		\|5 DE-604
700	1		\|a Finkbeiner, Bernd \|d 1972- \|0 (DE-588)1079870148 \|4 edt
711	2		\|a ATVA \|n 13. \|d 2015 \|c Schanghai \|j Sonstige \|0 (DE-588)1079869700 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 9364 \|w (DE-604)BV014880109 \|9 9364
856	4	0	\|u https://doi.org/10.1007/978-3-319-24953-7 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632670&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS \|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2015
940	1		\|q ZDB-2-LNC_2015
999			\|a oai:aleph.bib-bvb.de:BVB01-028632670

Datensatz im Suchindex

_version_	1804175708976578560
adam_text	AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS / : 2015 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, HELD IN SHANGHAI, CHINA, IN OCTOBER 2015. THE 27 REVISED PAPERS PRESENTED TOGETHER WITH 6 TOOL PAPERS IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 95 SUBMISSIONS. THEY SHOW CURRENT RESEARCH ON THEORETICAL AND PRACTICAL ASPECTS OF AUTOMATED ANALYSIS, VERIFICATION AND SYNTHESIS BY PROVIDING AN INTERNATIONAL FORUM FOR INTERACTION AMONG THE RESEARCHERS IN ACADEMIA AND INDUSTRY DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Finkbeiner, Bernd 1972-
author2_role	edt
author2_variant	b f bf
author_GND	(DE-588)1079870148
author_facet	Finkbeiner, Bernd 1972-
building	Verbundindex
bvnumber	BV043209509
classification_tum	DAT 550f DAT 325f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)929997143 (DE-599)BVBBV043209509
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
doi_str_mv	10.1007/978-3-319-24953-7
edition	1st ed.
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02941nmm a2200685zcb4500</leader><controlfield tag="001">BV043209509</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200513 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319249537</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24953-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319249520</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24952-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24953-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)929997143</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209509</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</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 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated Technology for Verification and Analysis</subfield><subfield code="b">13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings</subfield><subfield code="c">edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 520 Seiten</subfield><subfield code="b">Illustrationen</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">9364</subfield><subfield code="x">0302-9743</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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">CASHE</subfield><subfield code="0">(DE-588)4388634-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">CASHE</subfield><subfield code="0">(DE-588)4388634-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">Finkbeiner, Bernd</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)1079870148</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ATVA</subfield><subfield code="n">13.</subfield><subfield code="d">2015</subfield><subfield code="c">Schanghai</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1079869700</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9364</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9364</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24953-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632670&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632670</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV043209509
illustrated	Not Illustrated
indexdate	2024-07-10T07:20:35Z
institution	BVB
institution_GND	(DE-588)1079869700
isbn	9783319249537 9783319249520
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028632670
oclc_num	929997143
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
physical	XIII, 520 Seiten Illustrationen
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer International Publishing
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang 1st ed. Cham Springer International Publishing [2015] © 2015 XIII, 520 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9364 0302-9743 Computer science Software engineering Computer Science Software Engineering Informatik Verifikation (DE-588)4135577-5 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf CASHE (DE-588)4388634-6 gnd rswk-swf Systemsynthese (DE-588)4198909-0 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Systementwurf (DE-588)4261480-6 s Systemanalyse (DE-588)4116673-5 s Systemsynthese (DE-588)4198909-0 s CASHE (DE-588)4388634-6 s DE-604 Finkbeiner, Bernd 1972- (DE-588)1079870148 edt ATVA 13. 2015 Schanghai Sonstige (DE-588)1079869700 oth Lecture Notes in Computer Science 9364 (DE-604)BV014880109 9364 https://doi.org/10.1007/978-3-319-24953-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632670&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Lecture Notes in Computer Science Computer science Software engineering Computer Science Software Engineering Informatik Verifikation (DE-588)4135577-5 gnd Formale Methode (DE-588)4333722-3 gnd CASHE (DE-588)4388634-6 gnd Systemsynthese (DE-588)4198909-0 gnd Systementwurf (DE-588)4261480-6 gnd Systemanalyse (DE-588)4116673-5 gnd
subject_GND	(DE-588)4135577-5 (DE-588)4333722-3 (DE-588)4388634-6 (DE-588)4198909-0 (DE-588)4261480-6 (DE-588)4116673-5 (DE-588)1071861417
title	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
title_auth	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
title_exact_search	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
title_full	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
title_fullStr	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
title_full_unstemmed	Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang
title_short	Automated Technology for Verification and Analysis
title_sort	automated technology for verification and analysis 13th international symposium atva 2015 shanghai china october 12 15 2015 proceedings
title_sub	13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
topic	Computer science Software engineering Computer Science Software Engineering Informatik Verifikation (DE-588)4135577-5 gnd Formale Methode (DE-588)4333722-3 gnd CASHE (DE-588)4388634-6 gnd Systemsynthese (DE-588)4198909-0 gnd Systementwurf (DE-588)4261480-6 gnd Systemanalyse (DE-588)4116673-5 gnd
topic_facet	Computer science Software engineering Computer Science Software Engineering Informatik Verifikation Formale Methode CASHE Systemsynthese Systementwurf Systemanalyse Konferenzschrift
url	https://doi.org/10.1007/978-3-319-24953-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632670&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT finkbeinerbernd automatedtechnologyforverificationandanalysis13thinternationalsymposiumatva2015shanghaichinaoctober12152015proceedings AT atvaschanghai automatedtechnologyforverificationandanalysis13thinternationalsymposiumatva2015shanghaichinaoctober12152015proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge