Holdings: Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation: 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7737 : ARCoSS
Subjects:	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift > 2013 > Rom
Online Access:	Volltext Abstract
Physical Description:	1 Online-Ressource (XI, 556 S.) 235 mm x 155 mm
ISBN:	3642358721 9783642358739
DOI:	10.1007/978-3-642-35873-9

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV040937392
003	DE-604
007	cr\|uuu---uuuuu
008	130410s2013 gw o\|\|\|\| 10\|\|\| eng d
015			\|a 12,N50 \|2 dnb
020			\|a 3642358721 \|9 3-642-35872-1
020			\|a 9783642358739 \|c eISBN \|9 978-3-642-35873-9
024	7		\|a 10.1007/978-3-642-35873-9 \|2 doi
024	3		\|a 9783642358722
028	5	2	\|a Best.-Nr.: 86208571
035			\|a (OCoLC)874322023
035			\|a (DE-599)BVBBV040937392
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-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634 \|a DE-355
082	0		\|a 005.1015113
084			\|a 004 \|2 sdnb
084			\|a DAT 000 \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Verification, model checking, and abstract interpretation \|b 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings \|c Roberto Giacobazzi ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XI, 556 S.) \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7737 : ARCoSS
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|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 Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abstrakte Interpretation \|0 (DE-588)4621153-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Rom \|2 gnd-content
689	0	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|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 Abstrakte Interpretation \|0 (DE-588)4621153-6 \|D s
689	0	4	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Giacobazzi, Roberto \|e Sonstige \|4 oth
711	2		\|a VMCAI \|n 14 \|d 2013 \|c Rom \|j Sonstige \|0 (DE-588)1033104779 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-35872-2
830		0	\|a Lecture notes in computer science \|v 7737 : ARCoSS \|w (DE-604)BV014880109 \|9 7737
856	4	0	\|u https://doi.org/10.1007/978-3-642-35873-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=025916219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025916219

Record in the Search Index

_version_	1820875457841594368
adam_text	VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2013, HELD IN ROME, ITALY, IN JANUARY 2013, CO-LOCATED WITH THE SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, POPL 2013. THE 27 REVISED FULL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 72 SUBMISSIONS. THE PAPERS COVER A WIDE RANGE OF TOPICS INCLUDING PROGRAM VERIFICATION, MODEL CHECKING, ABSTRACT INTERPRETATION AND ABSTRACT DOMAINS, PROGRAM SYNTHESIS, STATIC ANALYSIS, TYPE SYSTEM, DEDUCTIVE METHODS, PROGRAM CERTIFICATION, DEBUGGING TECHNIQUES, PROGRAM TRANSFORMATION, OPTIMIZATION, HYBRID AND CYBER-PHYSICAL SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV040937392
classification_rvk	SS 4800
classification_tum	DAT 000 DAT 325f
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)874322023 (DE-599)BVBBV040937392
dewey-full	005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1015113
dewey-search	005.1015113
dewey-sort	15.1015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-35873-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">BV040937392</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">130410s2013 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N50</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642358721</subfield><subfield code="9">3-642-35872-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642358739</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-35873-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-35873-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642358722</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86208571</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874322023</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040937392</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-20</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-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</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 000</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="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings</subfield><subfield code="c">Roberto Giacobazzi ... (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 (XI, 556 S.)</subfield><subfield code="c">235 mm x 155 mm</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">7737 : ARCoSS</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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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">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">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-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">Rom</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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="700" ind1="1" ind2=" "><subfield code="a">Giacobazzi, Roberto</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">14</subfield><subfield code="d">2013</subfield><subfield code="c">Rom</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1033104779</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-35872-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7737 : ARCoSS</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7737</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-35873-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=025916219&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-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025916219</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content
genre_facet	Konferenzschrift 2013 Rom
id	DE-604.BV040937392
illustrated	Not Illustrated
indexdate	2025-01-10T15:15:56Z
institution	BVB
institution_GND	(DE-588)1033104779
isbn	3642358721 9783642358739
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025916219
oclc_num	874322023
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XI, 556 S.) 235 mm x 155 mm
psigel	ZDB-2-LNC ZDB-2-SCS
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XI, 556 S.) 235 mm x 155 mm txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7737 : ARCoSS Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Abstrakte Interpretation (DE-588)4621153-6 s Formale Methode (DE-588)4333722-3 s DE-604 Giacobazzi, Roberto Sonstige oth VMCAI 14 2013 Rom Sonstige (DE-588)1033104779 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-35872-2 Lecture notes in computer science 7737 : ARCoSS (DE-604)BV014880109 7737 https://doi.org/10.1007/978-3-642-35873-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025916219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4621153-6 (DE-588)1071861417
title	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings
title_auth	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings
title_exact_search	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings
title_full	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.)
title_fullStr	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.)
title_full_unstemmed	Verification, model checking, and abstract interpretation 14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings Roberto Giacobazzi ... (eds.)
title_short	Verification, model checking, and abstract interpretation
title_sort	verification model checking and abstract interpretation 14th international conference vmcai 2013 rome italy january 20 22 2013 proceedings
title_sub	14th international conference, VMCAI 2013, Rome, Italy, January 20 -22, 2013 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd
topic_facet	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2013 Rom
url	https://doi.org/10.1007/978-3-642-35873-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025916219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT giacobazziroberto verificationmodelcheckingandabstractinterpretation14thinternationalconferencevmcai2013romeitalyjanuary20222013proceedings AT vmcairom verificationmodelcheckingandabstractinterpretation14thinternationalconferencevmcai2013romeitalyjanuary20222013proceedings

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