Verfügbarkeit: Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yahav, Eran (VerfasserIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8855
Schlagworte:	Hardwareverifikation Programmverifikation Konferenzschrift > 2014 > Haifa
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 (XVI, 299 S.) Ill., graph. Darst.
ISBN:	9783319133386
DOI:	10.1007/978-3-319-13338-6

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV042284363
003	DE-604
007	cr\|uuu---uuuuu
008	150122s2014 xx ad\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319133386 \|c Online \|9 978-3-319-13338-6
024	7		\|a 10.1007/978-3-319-13338-6 \|2 doi
035			\|a (OCoLC)897545103
035			\|a (DE-599)BVBBV042284363
040			\|a DE-604 \|b ger
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.24 \|2 22//ger
084			\|a DAT 330f \|2 stub
084			\|a DAT 190f \|2 stub
084			\|a DAT 325f \|2 stub
100	1		\|a Yahav, Eran \|e Verfasser \|0 (DE-588)101513193X \|4 aut
245	1	0	\|a Hardware and Software: Verification and Testing \|b 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings \|c Eran Yahav (ed.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XVI, 299 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 8855
650	0	7	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z Haifa \|2 gnd-content
689	0	0	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	0	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0		\|5 DE-604
711	2		\|a HVC \|n 10. \|d 2014 \|c Haifa \|j Sonstige \|0 (DE-588)1063112389 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-319-13337-9
830		0	\|a Lecture notes in computer science \|v 8855 \|w (DE-604)BV014880109 \|9 8855
856	4	0	\|u https://doi.org/10.1007/978-3-319-13338-6 \|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=027721674&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=027721674&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-027721674
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-13338-6 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875645014507520
adam_text	HARDWARE AND SOFTWARE: VERIFICATION AND TESTING / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS USING COARSE-GRAINED ABSTRACTIONS TO VERIFY LINEARIZABILITY ON TSO ARCHITECTURES ENHANCING SCENARIO QUALITY USING QUASI-EVENTS COMBINED BOUNDED AND SYMBOLIC MODEL CHECKING FOR INCOMPLETE TIMED SYSTEMS DYNAMATE: DYNAMICALLY INFERRING LOOP INVARIANTS FOR AUTOMATIC FULL FUNCTIONAL VERIFICATION GENERATING MODULO-2 LINEAR INVARIANTS FOR HARDWARE MODEL CHECKING SURAQ — A CONTROLLER SYNTHESIS TOOL USING UNINTERPRETED FUNCTIONS SYNTHESIZING FINITE-STATE PROTOCOLS FROM SCENARIOS AND REQUIREMENTS AUTOMATIC ERROR LOCALIZATION FOR SOFTWARE USING DEDUCTIVE VERIFICATION GENERATING JML SPECIFICATIONS FROM ALLOY EXPRESSIONS ASSUME-GUARANTEE ABSTRACTION REFINEMENT MEETS HYBRID SYSTEMS HANDLING TSO IN MECHANIZED LINEARIZABILITY PROOFS PARTIAL QUANTIFIER ELIMINATION FORMAL VERIFICATION OF 800 GENETICALLY CONSTRUCTED AUTOMATA PROGRAMS: A CASE STUDY A FRAMEWORK TO SYNERGIZE PARTIAL ORDER REDUCTION WITH STATE INTERPOLATION REDUCTION OF RESOLUTION REFUTATIONS AND INTERPOLANTS VIA SUBSUMPTION READ, WRITE AND COPY DEPENDENCIES FOR SYMBOLIC MODEL CHECKING EFFICIENT COMBINATORIAL TEST GENERATION BASED ON MULTIVALUED DECISION DIAGRAMS FORMAL VERIFICATION OF SECURE USER MODE DEVICE EXECUTION WITH DMA SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS VIA IC3 PARTIAL-ORDER REDUCTION FOR MULTI-CORE LTL MODEL CHECKING A COMPARATIVE STUDY OF INCREMENTAL CONSTRAINT SOLVING APPROACHES IN SYMBOLIC EXECUTION DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 10TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2014, HELD IN HAIFA, ISRAEL, IN NOVEMBER 2014. THE 17 REVISED FULL PAPERS AND 4 SHORT PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 43 SUBMISSIONS. THE PAPERS COVER A WIDE RANGE OF TOPICS IN THE SUB-FIELDS OF TESTING AND VERIFICATION APPLICABLE TO SOFTWARE, HARDWARE, AND COMPLEX HYBRID SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Yahav, Eran
author_GND	(DE-588)101513193X
author_facet	Yahav, Eran
author_role	aut
author_sort	Yahav, Eran
author_variant	e y ey
building	Verbundindex
bvnumber	BV042284363
classification_rvk	SS 4800
classification_tum	DAT 330f DAT 190f DAT 325f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)897545103 (DE-599)BVBBV042284363
dewey-full	004.24
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.24
dewey-search	004.24
dewey-sort	14.24
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-13338-6
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042284363</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150122s2014 xx ad\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319133386</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-13338-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-13338-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897545103</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042284363</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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.24</subfield><subfield code="2">22//ger</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 190f</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="100" ind1="1" ind2=" "><subfield code="a">Yahav, Eran</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)101513193X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hardware and Software: Verification and Testing</subfield><subfield code="b">10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings</subfield><subfield code="c">Eran Yahav (ed.)</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 (XVI, 299 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">8855</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">HVC</subfield><subfield code="n">10.</subfield><subfield code="d">2014</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1063112389</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-13337-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8855</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8855</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-13338-6</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=027721674&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=027721674&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-027721674</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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-13338-6</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 Haifa gnd-content
genre_facet	Konferenzschrift 2014 Haifa
id	DE-604.BV042284363
illustrated	Illustrated
indexdate	2025-01-10T15:18:55Z
institution	BVB
institution_GND	(DE-588)1063112389
isbn	9783319133386
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027721674
oclc_num	897545103
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 (XVI, 299 S.) Ill., 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	Yahav, Eran Verfasser (DE-588)101513193X aut Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings Eran Yahav (ed.) Cham [u.a.] Springer 2014 1 Online-Ressource (XVI, 299 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8855 Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Haifa gnd-content Hardwareverifikation (DE-588)4214982-4 s Programmverifikation (DE-588)4135576-3 s DE-604 HVC 10. 2014 Haifa Sonstige (DE-588)1063112389 oth Erscheint auch als Druckausgabe 978-3-319-13337-9 Lecture notes in computer science 8855 (DE-604)BV014880109 8855 https://doi.org/10.1007/978-3-319-13338-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027721674&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=027721674&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Yahav, Eran Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings Lecture notes in computer science Hardwareverifikation (DE-588)4214982-4 gnd Programmverifikation (DE-588)4135576-3 gnd
subject_GND	(DE-588)4214982-4 (DE-588)4135576-3 (DE-588)1071861417
title	Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings
title_auth	Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings
title_exact_search	Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings
title_full	Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings Eran Yahav (ed.)
title_fullStr	Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings Eran Yahav (ed.)
title_full_unstemmed	Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings Eran Yahav (ed.)
title_short	Hardware and Software: Verification and Testing
title_sort	hardware and software verification and testing 10th international haifa verification conference hvc 2014 haifa israel november 18 20 2014 proceedings
title_sub	10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings
topic	Hardwareverifikation (DE-588)4214982-4 gnd Programmverifikation (DE-588)4135576-3 gnd
topic_facet	Hardwareverifikation Programmverifikation Konferenzschrift 2014 Haifa
url	https://doi.org/10.1007/978-3-319-13338-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027721674&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=027721674&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT yahaveran hardwareandsoftwareverificationandtesting10thinternationalhaifaverificationconferencehvc2014haifaisraelnovember18202014proceedings AT hvchaifa hardwareandsoftwareverificationandtesting10thinternationalhaifaverificationconferencehvc2014haifaisraelnovember18202014proceedings

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