Verfügbarkeit: Tests and proofs

Tests and proofs: 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Seidl, Martina 1980- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8570
Schlagworte:	Formale Methode Softwareentwicklung Model Checking Softwaretest Programmverifikation Softwaresystem Beweis Konferenzschrift > 2014 > York
Online-Zugang:	DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XII, 211 S.) graph. Darst.
ISBN:	9783319090993
DOI:	10.1007/978-3-319-09099-3

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV042096699
003	DE-604
007	cr\|uuu---uuuuu
008	140930s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319090993 \|c Online \|9 978-3-319-09099-3
024	7		\|a 10.1007/978-3-319-09099-3 \|2 doi
035			\|a (OCoLC)885822495
035			\|a (DE-599)BVBBV042096699
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
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-859 \|a DE-861 \|a DE-634
082	0		\|a 004
084			\|a DAT 330f \|2 stub
245	1	0	\|a Tests and proofs \|b 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings \|c Martina Seidl ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XII, 211 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 8570
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|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 Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaresystem \|0 (DE-588)4137282-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z York \|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 Seidl, Martina \|d 1980- \|0 (DE-588)1035445522 \|4 edt
711	2		\|a TAP \|n 8 \|d 2014 \|c York \|j Sonstige \|0 (DE-588)105856434X \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-319-09098-6
830		0	\|a Lecture notes in computer science \|v 8570 \|w (DE-604)BV014880109 \|9 8570
856	4	0	\|u https://doi.org/10.1007/978-3-319-09099-3 \|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=027537451&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=027537451&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027537451
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-09099-3 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875618599829504
adam_text	TESTS AND PROOFS / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS MODEL-BASED MUTATION TESTING OF AN INDUSTRIAL MEASUREMENT DEVICE COMPUTING WITH AN SMT SOLVER AN ABSTRACTION TECHNIQUE FOR TESTING DECOMPOSABLE SYSTEMS BY MODEL CHECKING AN ALL-IN-ONE TOOLKIT FOR AUTOMATED WHITE-BOX TESTING BEHAVIOUR DRIVEN DEVELOPMENT FOR TESTS AND VERIFICATION QUALITY ASSURANCE IN MBE BACK AND FORTH VISUALIZING UNBOUNDED SYMBOLIC EXECUTION FILM STRIPPING AND UNROLLING: A COMPARISON OF VERIFICATION APPROACHES FOR UML AND OCL BEHAVIORAL MODELS GENERATING CLASSIFIED PARALLEL UNIT TESTS JTACO: TEST EXECUTION FOR FASTER BOUNDED VERIFICATION EXPLICIT ASSUMPTIONS - A PRENUP FOR MARRYING STATIC AND DYNAMIC PROGRAM VERIFICATION A CASE STUDY ON VERIFICATION OF A CLOUD HYPERVISOR BY PROOF AND STRUCTURAL TESTING RUNTIME ASSERTION CHECKING AND ITS COMBINATIONS WITH STATIC AND DYNAMIC ANALYSES: TUTORIAL SYNOPSIS GENERATING TEST DATA FROM A UML ACTIVITY USING THE AMPL INTERFACE FOR CONSTRAINT SOLVERS LIGHTWEIGHT STATE CAPTURING FOR AUTOMATED TESTING OF MULTITHREADED PROGRAMS HOW TEST GENERATION HELPS SOFTWARE SPECIFICATION AND DEDUCTIVE VERIFICATION IN FRAMA-C. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. TESTS AND PROOFS / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON TESTS AND PROOFS, TAP 2014, HELD IN YORK, UK, IN JULY 2014, AS PART OF THE STAF 2014 FEDERATED CONFERENCES. THE 10 REVISED FULL PAPERS AND 4 SHORT PAPERS PRESENTED TOGETHER WITH TWO TUTORIAL DESCRIPTIONS WERE CAREFULLY REVIEWED AND SELECTED FROM 27 SUBMISSIONS. THE PAPERS COVER TOPICS IN THE FOLLOWING FOUR RESEARCH AREAS: TEST GENERATION, BRIDGING SEMANTIC GAPS, INTEGRATED DEVELOPMENT PROCESSES AND BOUNDED VERIFICATION DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Seidl, Martina 1980-
author2_role	edt
author2_variant	m s ms
author_GND	(DE-588)1035445522
author_facet	Seidl, Martina 1980-
building	Verbundindex
bvnumber	BV042096699
classification_rvk	SS 4800
classification_tum	DAT 330f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)885822495 (DE-599)BVBBV042096699
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-09099-3
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">BV042096699</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140930s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319090993</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-09099-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-09099-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885822495</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042096699</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</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-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tests and proofs</subfield><subfield code="b">8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings</subfield><subfield code="c">Martina Seidl ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 211 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">8570</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">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">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">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">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">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">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">2014</subfield><subfield code="z">York</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">Seidl, Martina</subfield><subfield code="d">1980-</subfield><subfield code="0">(DE-588)1035445522</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">8</subfield><subfield code="d">2014</subfield><subfield code="c">York</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)105856434X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-09098-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8570</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8570</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</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=027537451&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=027537451&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-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027537451</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-09099-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2014 York gnd-content
genre_facet	Konferenzschrift 2014 York
id	DE-604.BV042096699
illustrated	Illustrated
indexdate	2025-01-10T15:18:29Z
institution	BVB
institution_GND	(DE-588)105856434X
isbn	9783319090993
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027537451
oclc_num	885822495
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-859 DE-861 DE-634
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-859 DE-861 DE-634
physical	1 Online-Ressource (XII, 211 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings Martina Seidl ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XII, 211 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8570 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 York 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 Seidl, Martina 1980- (DE-588)1035445522 edt TAP 8 2014 York Sonstige (DE-588)105856434X oth Erscheint auch als Druckausgabe 978-3-319-09098-6 Lecture notes in computer science 8570 (DE-604)BV014880109 8570 https://doi.org/10.1007/978-3-319-09099-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027537451&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=027537451&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Beweis (DE-588)4132532-1 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4137282-7 (DE-588)4132532-1 (DE-588)1071861417
title	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings
title_auth	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings
title_exact_search	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings
title_full	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings Martina Seidl ... (eds.)
title_fullStr	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings Martina Seidl ... (eds.)
title_full_unstemmed	Tests and proofs 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings Martina Seidl ... (eds.)
title_short	Tests and proofs
title_sort	tests and proofs 8th international conference tap 2014 held as part of staf 2014 york uk july 24 25 2014 proceedings
title_sub	8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24 - 25, 2014 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Beweis (DE-588)4132532-1 gnd
topic_facet	Formale Methode Softwareentwicklung Model Checking Softwaretest Programmverifikation Softwaresystem Beweis Konferenzschrift 2014 York
url	https://doi.org/10.1007/978-3-319-09099-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027537451&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=027537451&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT seidlmartina testsandproofs8thinternationalconferencetap2014heldaspartofstaf2014yorkukjuly24252014proceedings AT tapyork testsandproofs8thinternationalconferencetap2014heldaspartofstaf2014yorkukjuly24252014proceedings

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