Holdings: Static analysis :: THWS Bibkatalog

Static analysis: 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7935 : Advanced research in computing and software science
Subjects:	Statische Analyse Konferenzschrift > 2013 > Seattle, Wash.
Online Access:	Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (X, 498 S.) graph. Darst.
ISBN:	3642388558 9783642388569
DOI:	10.1007/978-3-642-38856-9

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041403631
003	DE-604
005	20140131
007	cr\|uuu---uuuuu
008	131107s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 3642388558 \|9 3-642-38855-8
020			\|a 9783642388569 \|9 978-3-642-38856-9
024	7		\|a 10.1007/978-3-642-38856-9 \|2 doi
024	3		\|a 9783642388552
028	5	2	\|a Best.-Nr.: 86280105
035			\|a (OCoLC)874375441
035			\|a (DE-599)BVBBV041403631
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 005.101 \|2 22/ger
082	0		\|a 005.13 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Static analysis \|b 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings \|c Francesco Logozzo ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (X, 498 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7935 : Advanced research in computing and software science
650	0	7	\|a Statische Analyse \|0 (DE-588)4325372-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Seattle, Wash. \|2 gnd-content
689	0	0	\|a Statische Analyse \|0 (DE-588)4325372-6 \|D s
689	0		\|5 DE-604
700	1		\|a Logozzo, Francesco \|d 1976- \|e Sonstige \|0 (DE-588)17400009X \|4 oth
711	2		\|a SAS \|n 20 \|d 2013 \|c Seattle, Wash. \|j Sonstige \|0 (DE-588)1036619400 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-38855-2
830		0	\|a Lecture notes in computer science \|v 7935 : Advanced research in computing and software science \|w (DE-604)BV014880109 \|9 7935
856	4	0	\|u https://doi.org/10.1007/978-3-642-38856-9 \|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=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
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=026851086&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026851086

Record in the Search Index

_version_	1820875515207090176
adam_text	STATIC ANALYSIS / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS ABSTRACT DOMAINS ABSTRACT INTERPRETATION ABSTRACT TESTING BUG DETECTION DATA FLOW ANALYSIS MODEL CHECKING NEW APPLICATIONS PROGRAM TRANSFORMATION PROGRAM VERIFICATION SECURITY ANALYSIS THEORETICAL FRAMEWORKS TYPE CHECKING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. STATIC ANALYSIS / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED PROCEEDINGS OF THE 20TH INTERNATIONAL SYMPOSIUM ON STATIC ANALYSIS, SAS 2013, HELD IN SEATTLE, WA, USA, IN JUNE 2013. THE 23 REVISED FULL PAPERS PRESENTED TOGETHER WITH 2 INVITED TALKS WERE SELECTED FROM 56 SUBMISSIONS. THE PAPERS ADDRESS ALL ASPECTS OF STATIC ANALYSIS, INCLUDING ABSTRACT DOMAINS, ABSTRACT INTERPRETATION, ABSTRACT TESTING, BUG DETECTION, DATA FLOW ANALYSIS, MODEL CHECKING, NEW APPLICATIONS, PROGRAM TRANSFORMATION, PROGRAM VERIFICATION, SECURITY ANALYSIS, THEORETICAL FRAMEWORKS, AND TYPE CHECKING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)17400009X
building	Verbundindex
bvnumber	BV041403631
classification_rvk	SS 4800
classification_tum	DAT 310f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)874375441 (DE-599)BVBBV041403631
dewey-full	005.101 005.13
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.101 005.13
dewey-search	005.101 005.13
dewey-sort	15.101
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-38856-9
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041403631</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140131</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131107s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642388558</subfield><subfield code="9">3-642-38855-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642388569</subfield><subfield code="9">978-3-642-38856-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38856-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642388552</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86280105</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874375441</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041403631</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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">Static analysis</subfield><subfield code="b">20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings</subfield><subfield code="c">Francesco Logozzo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 498 S.)</subfield><subfield code="b">graph. Darst.</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">7935 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</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">2013</subfield><subfield code="z">Seattle, Wash.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-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">Logozzo, Francesco</subfield><subfield code="d">1976-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)17400009X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">20</subfield><subfield code="d">2013</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1036619400</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, Paperback</subfield><subfield code="z">978-3-642-38855-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7935 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7935</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38856-9</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=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=026851086&sequence=000003&line_number=0002&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></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026851086</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Seattle, Wash. gnd-content
genre_facet	Konferenzschrift 2013 Seattle, Wash.
id	DE-604.BV041403631
illustrated	Illustrated
indexdate	2025-01-10T15:16:50Z
institution	BVB
institution_GND	(DE-588)1036619400
isbn	3642388558 9783642388569
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026851086
oclc_num	874375441
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (X, 498 S.) graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 498 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7935 : Advanced research in computing and software science Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Seattle, Wash. gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Logozzo, Francesco 1976- Sonstige (DE-588)17400009X oth SAS 20 2013 Seattle, Wash. Sonstige (DE-588)1036619400 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-38855-2 Lecture notes in computer science 7935 : Advanced research in computing and software science (DE-604)BV014880109 7935 https://doi.org/10.1007/978-3-642-38856-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Lecture notes in computer science Statische Analyse (DE-588)4325372-6 gnd
subject_GND	(DE-588)4325372-6 (DE-588)1071861417
title	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings
title_auth	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings
title_exact_search	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings
title_full	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.)
title_fullStr	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.)
title_full_unstemmed	Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.)
title_short	Static analysis
title_sort	static analysis 20th international symposium sas 2013 seattle wa usa june 20 22 2012 proceedings
title_sub	20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings
topic	Statische Analyse (DE-588)4325372-6 gnd
topic_facet	Statische Analyse Konferenzschrift 2013 Seattle, Wash.
url	https://doi.org/10.1007/978-3-642-38856-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT logozzofrancesco staticanalysis20thinternationalsymposiumsas2013seattlewausajune20222012proceedings AT sasseattlewash staticanalysis20thinternationalsymposiumsas2013seattlewausajune20222012proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items