Verfügbarkeit: Tests and Proofs

Tests and Proofs: 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer 2015
Schriftenreihe:	Lecture Notes in Computer Science 9154
Schlagworte:	Computer science Software engineering Logic design Computer simulation Computer Science Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling Informatik Softwaresystem Softwareentwicklung Formale Methode Softwaretest Beweis Programmverifikation Model Checking Konferenzschrift > 2015 > L'Aquila
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XX, 209 S.) Ill., graph. Darst.
ISBN:	9783319212159 9783319212142
ISSN:	0302-9743
DOI:	10.1007/978-3-319-21215-9

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV042730389
003	DE-604
005	20150811
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	150803s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319212159 \|c Online \|9 978-3-319-21215-9
020			\|a 9783319212142 \|c Print \|9 978-3-319-21214-2
024	7		\|a 10.1007/978-3-319-21215-9 \|2 doi
035			\|a (OCoLC)915761604
035			\|a (DE-599)BVBBV042730389
040			\|a DE-604 \|b ger \|e aacr
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 330f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Tests and Proofs \|b 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings \|c edited by Jasmin Christian Blanchette, Nikolai Kosmatov
264		1	\|a Cham \|b Springer \|c 2015
300			\|a 1 Online-Ressource (XX, 209 S.) \|b Ill., 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 9154 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Logic design
650		4	\|a Computer simulation
650		4	\|a Computer Science
650		4	\|a Software Engineering
650		4	\|a Programming Techniques
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Simulation and Modeling
650		4	\|a Informatik
650	0	7	\|a Softwaresystem \|0 (DE-588)4137282-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|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 Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2015 \|z L'Aquila \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	0	2	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwaresystem \|0 (DE-588)4137282-7 \|D s
689	1	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	2	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	1	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
700	1		\|a Blanchette, Jasmin \|e Sonstige \|0 (DE-588)132421801 \|4 oth
711	2		\|a TAP \|n 9. \|d 2015 \|c L'Aquila \|j Sonstige \|0 (DE-588)1074318838 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 9154 \|w (DE-604)BV014880109 \|9 9154
856	4	0	\|u https://doi.org/10.1007/978-3-319-21215-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=028161420&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=028161420&sequence=000003&line_number=0002&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-028161420

Datensatz im Suchindex

_version_	1804174941993566208
adam_text	TESTS AND PROOFS / : 2015 TABLE OF CONTENTS / INHALTSVERZEICHNIS ABSTRACTS OF INVITED TALKS TESTING, FIXING AND PROVING WITH CONTRACTS MIND THE GAP: AT THE CROSSROADS OF DESIGN, IMPLEMENTATION AND FOUNDATIONS REASONING ABOUT C CONCURRENCY AND COMPILERS ACCEPTED PAPERS SCALABLE INCREMENTAL TEST-CASE GENERATION FROM LARGE BEHAVIOR MODELS TEST CASE GENERATION FOR CONCURRENT SYSTEMS USING EVENT STRUCTURES FAST MODEL-BASED FAULT LOCALISATION WITH TEST SUITES CASE STUDY: AUTOMATIC TEST CASE GENERATION FOR A SECURE CACHE IMPLEMENTATION VERIFYING CODE GENERATION TOOLS FOR THE B-METHOD USING TESTS: A CASE STUDY SOFTWARE VALIDATION VIA MODEL ANIMATION SEQUENTIAL GENERATION OF STRUCTURED ARRAYS AND ITS DEDUCTIVE VERIFICATION CHECKING UML AND OCL MODEL CONSISTENCY: AN EXPERIENCE REPORT ON A MIDDLE-SIZED CASE STUDY A CONSTRAINT OPTIMIZATION MODEL FOR ANALYSIS OF TELECOMMUNICATION PROTOCOL LOGS EXPERIMENTAL EVALUATION OF A NOVEL EQUIVALENCE CLASS PARTITION TESTING STRATEGY TESTING FUNCTIONAL REQUIREMENTS IN UML ACTIVITY DIAGRAMS COVERAGE OF OCL OPERATION SPECIFICATIONS AND INVARIANTS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. TESTS AND PROOFS / : 2015 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON TESTS AND PROOFS, TAP 2015, HELD IN L` AQUILA, ITALY, IN JULY 2015, AS PART OF THE STAF 2015 FEDERATED CONFERENCES. THE 11 REVISED FULL PAPERS AND 1 SHORT PAPERS PRESENTED TOGETHER WITH 3 INVITED TALKS WERE CAREFULLY REVIEWED AND SELECTED FROM 21 SUBMISSIONS. THE ACCEPTED PAPERS CONTRIBUTE TO VARIOUS TESTING TECHNIQUES (MODEL-BASED, PROPERTY-BASED, GRAMMAR-BASED, BOUNDED-EXHAUSTIVE), FAULT LOCALIZATION, MODEL-DRIVEN ENGINEERING, AS WELL AS MODEL COVERAGE, CONSISTENCY AND VALIDATION, AMONG OTHERS. MANY PAPERS RELY ON INTERACTIVE AND AUTOMATIC THEOREM PROVERS, INCLUDING SMT SOLVERS AND MODEL CHECKERS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)132421801
building	Verbundindex
bvnumber	BV042730389
classification_tum	DAT 330f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)915761604 (DE-599)BVBBV042730389
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-21215-9
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03603nmm a2200781zcb4500</leader><controlfield tag="001">BV042730389</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150811 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319212159</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-21215-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319212142</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-21214-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-21215-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915761604</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730389</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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 330f</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">Tests and Proofs</subfield><subfield code="b">9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings</subfield><subfield code="c">edited by Jasmin Christian Blanchette, Nikolai Kosmatov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XX, 209 S.)</subfield><subfield code="b">Ill., 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">9154</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">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</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">Programming Techniques</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</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">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">L'Aquila</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Blanchette, Jasmin</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)132421801</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">9.</subfield><subfield code="d">2015</subfield><subfield code="c">L'Aquila</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1074318838</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">9154</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9154</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-21215-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=028161420&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=028161420&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><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-028161420</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2015 L'Aquila gnd-content
genre_facet	Konferenzschrift 2015 L'Aquila
id	DE-604.BV042730389
illustrated	Illustrated
indexdate	2024-07-10T07:08:24Z
institution	BVB
institution_GND	(DE-588)1074318838
isbn	9783319212159 9783319212142
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028161420
oclc_num	915761604
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	1 Online-Ressource (XX, 209 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings edited by Jasmin Christian Blanchette, Nikolai Kosmatov Cham Springer 2015 1 Online-Ressource (XX, 209 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9154 0302-9743 Computer science Software engineering Logic design Computer simulation Computer Science Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling Informatik Softwaresystem (DE-588)4137282-7 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 L'Aquila gnd-content Softwareentwicklung (DE-588)4116522-6 s Softwaretest (DE-588)4132652-0 s Beweis (DE-588)4132532-1 s DE-604 Softwaresystem (DE-588)4137282-7 s Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Formale Methode (DE-588)4333722-3 s Blanchette, Jasmin Sonstige (DE-588)132421801 oth TAP 9. 2015 L'Aquila Sonstige (DE-588)1074318838 oth Lecture Notes in Computer Science 9154 (DE-604)BV014880109 9154 https://doi.org/10.1007/978-3-319-21215-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161420&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=028161420&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings Lecture Notes in Computer Science Computer science Software engineering Logic design Computer simulation Computer Science Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling Informatik Softwaresystem (DE-588)4137282-7 gnd Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Softwaretest (DE-588)4132652-0 gnd Beweis (DE-588)4132532-1 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd
subject_GND	(DE-588)4137282-7 (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4132652-0 (DE-588)4132532-1 (DE-588)4135576-3 (DE-588)4434799-6 (DE-588)1071861417
title	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings
title_auth	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings
title_exact_search	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings
title_full	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings edited by Jasmin Christian Blanchette, Nikolai Kosmatov
title_fullStr	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings edited by Jasmin Christian Blanchette, Nikolai Kosmatov
title_full_unstemmed	Tests and Proofs 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings edited by Jasmin Christian Blanchette, Nikolai Kosmatov
title_short	Tests and Proofs
title_sort	tests and proofs 9th international conference tap 2015 held as part of staf 2015 l aquila italy july 22 24 2015 proceedings
title_sub	9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22 - 24, 2015 ; proceedings
topic	Computer science Software engineering Logic design Computer simulation Computer Science Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling Informatik Softwaresystem (DE-588)4137282-7 gnd Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Softwaretest (DE-588)4132652-0 gnd Beweis (DE-588)4132532-1 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd
topic_facet	Computer science Software engineering Logic design Computer simulation Computer Science Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling Informatik Softwaresystem Softwareentwicklung Formale Methode Softwaretest Beweis Programmverifikation Model Checking Konferenzschrift 2015 L'Aquila
url	https://doi.org/10.1007/978-3-319-21215-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161420&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=028161420&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT blanchettejasmin testsandproofs9thinternationalconferencetap2015heldaspartofstaf2015laquilaitalyjuly22242015proceedings AT taplaquila testsandproofs9thinternationalconferencetap2015heldaspartofstaf2015laquilaitalyjuly22242015proceedings

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