Verfügbarkeit: Hardware and software, verification and testing

Hardware and software, verification and testing: second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2007
Schriftenreihe:	Lecture notes in computer science 4383
Schlagworte:	Softwaretest Korrektheit System-on-Chip Benchmark Programmanalyse Hardwareverifikation Debugging Model Checking Multithreading Programmverifikation Konferenzschrift > 2006 > Haifa
Online-Zugang:	BTU01 FHM01 TUM01 UBA01 UBG01 UBM01 UBY01 UPA01 UBR01 Volltext
Beschreibung:	1 Online-Ressource (XII, 234 S.) Ill., graph. Darst.
ISBN:	354070888X 9783540708889 9783540708896
DOI:	10.1007/978-3-540-70889-6

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV023082277
003	DE-604
005	20120220
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	080116s2007 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 07,N08,0036 \|2 dnb
020			\|a 354070888X \|c : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.) \|9 3-540-70888-X
020			\|a 9783540708889 \|c : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.) \|9 978-3-540-70888-9
020			\|a 9783540708896 \|c Online \|9 978-3-540-70889-6
024	7		\|a 10.1007/978-3-540-70889-6 \|2 doi
024	3		\|a 9783540708889
028	5	2	\|a 12019380
035			\|a (OCoLC)255826244
035			\|a (DE-599)BVBBV023082277
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-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 004
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 330f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 000 \|2 stub
084			\|a DAT 190f \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Hardware and software, verification and testing \|b second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers \|c Eyal Bin ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a 1 Online-Ressource (XII, 234 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 4383
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Korrektheit \|0 (DE-588)4240223-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a System-on-Chip \|0 (DE-588)4740357-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Benchmark \|0 (DE-588)4144457-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Debugging \|0 (DE-588)4148954-8 \|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 Multithreading \|0 (DE-588)4377481-7 \|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 2006 \|z Haifa \|2 gnd-content
689	0	0	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	0	1	\|a Korrektheit \|0 (DE-588)4240223-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	1	\|a Korrektheit \|0 (DE-588)4240223-2 \|D s
689	1		\|5 DE-604
689	2	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	2		\|5 DE-604
689	3	0	\|a Multithreading \|0 (DE-588)4377481-7 \|D s
689	3	1	\|a Debugging \|0 (DE-588)4148954-8 \|D s
689	3	2	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	3		\|5 DE-604
689	4	0	\|a System-on-Chip \|0 (DE-588)4740357-3 \|D s
689	4	1	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	4	2	\|a Benchmark \|0 (DE-588)4144457-7 \|D s
689	4		\|5 DE-604
700	1		\|a Bin, Eyal \|e Sonstige \|4 oth
711	2		\|a International Haifa Verification Conference \|n 2 \|d 2006 \|c Haifa \|j Sonstige \|0 (DE-588)6063114-4 \|4 oth
830		0	\|a Lecture notes in computer science \|v 4383 \|w (DE-604)BV014880109 \|9 4383
856	4	0	\|u https://doi.org/10.1007/978-3-540-70889-6 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-016285282
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l TUM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-70889-6 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804137330651430912
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV023082277
classification_rvk	SS 4800
classification_tum	DAT 330f DAT 000 DAT 190f DAT 325f
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255826244 (DE-599)BVBBV023082277
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
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-540-70889-6
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04177nmm a2200925 cb4500</leader><controlfield tag="001">BV023082277</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">080116s2007 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N08,0036</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354070888X</subfield><subfield code="c">: EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.)</subfield><subfield code="9">3-540-70888-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540708889</subfield><subfield code="c">: EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.)</subfield><subfield code="9">978-3-540-70888-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540708896</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-70889-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-70889-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540708889</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12019380</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255826244</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023082277</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-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">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 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="245" ind1="1" ind2="0"><subfield code="a">Hardware and software, verification and testing</subfield><subfield code="b">second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers</subfield><subfield code="c">Eyal Bin ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 234 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">4383</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">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Benchmark</subfield><subfield code="0">(DE-588)4144457-7</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">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">Debugging</subfield><subfield code="0">(DE-588)4148954-8</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">Multithreading</subfield><subfield code="0">(DE-588)4377481-7</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">2006</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">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Multithreading</subfield><subfield code="0">(DE-588)4377481-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Benchmark</subfield><subfield code="0">(DE-588)4144457-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bin, Eyal</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Haifa Verification Conference</subfield><subfield code="n">2</subfield><subfield code="d">2006</subfield><subfield code="c">Haifa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063114-4</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">4383</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4383</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-70889-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016285282</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-70889-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</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-540-70889-6</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2006 Haifa gnd-content
genre_facet	Konferenzschrift 2006 Haifa
id	DE-604.BV023082277
illustrated	Illustrated
index_date	2024-07-02T19:37:42Z
indexdate	2024-07-09T21:10:35Z
institution	BVB
institution_GND	(DE-588)6063114-4
isbn	354070888X 9783540708889 9783540708896
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016285282
oclc_num	255826244
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XII, 234 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers Eyal Bin ... (eds.) Berlin [u.a.] Springer 2007 1 Online-Ressource (XII, 234 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 4383 Softwaretest (DE-588)4132652-0 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf System-on-Chip (DE-588)4740357-3 gnd rswk-swf Benchmark (DE-588)4144457-7 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Debugging (DE-588)4148954-8 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Multithreading (DE-588)4377481-7 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Haifa gnd-content Hardwareverifikation (DE-588)4214982-4 s Korrektheit (DE-588)4240223-2 s DE-604 Programmverifikation (DE-588)4135576-3 s Softwaretest (DE-588)4132652-0 s Multithreading (DE-588)4377481-7 s Debugging (DE-588)4148954-8 s Programmanalyse (DE-588)4175841-9 s System-on-Chip (DE-588)4740357-3 s Model Checking (DE-588)4434799-6 s Benchmark (DE-588)4144457-7 s Bin, Eyal Sonstige oth International Haifa Verification Conference 2 2006 Haifa Sonstige (DE-588)6063114-4 oth Lecture notes in computer science 4383 (DE-604)BV014880109 4383 https://doi.org/10.1007/978-3-540-70889-6 Verlag Volltext
spellingShingle	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers Lecture notes in computer science Softwaretest (DE-588)4132652-0 gnd Korrektheit (DE-588)4240223-2 gnd System-on-Chip (DE-588)4740357-3 gnd Benchmark (DE-588)4144457-7 gnd Programmanalyse (DE-588)4175841-9 gnd Hardwareverifikation (DE-588)4214982-4 gnd Debugging (DE-588)4148954-8 gnd Model Checking (DE-588)4434799-6 gnd Multithreading (DE-588)4377481-7 gnd Programmverifikation (DE-588)4135576-3 gnd
subject_GND	(DE-588)4132652-0 (DE-588)4240223-2 (DE-588)4740357-3 (DE-588)4144457-7 (DE-588)4175841-9 (DE-588)4214982-4 (DE-588)4148954-8 (DE-588)4434799-6 (DE-588)4377481-7 (DE-588)4135576-3 (DE-588)1071861417
title	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
title_auth	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
title_exact_search	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
title_exact_search_txtP	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
title_full	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers Eyal Bin ... (eds.)
title_fullStr	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers Eyal Bin ... (eds.)
title_full_unstemmed	Hardware and software, verification and testing second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers Eyal Bin ... (eds.)
title_short	Hardware and software, verification and testing
title_sort	hardware and software verification and testing second international haifa verification conference hvc 2006 haifa israel october 23 26 2006 revised selected papers
title_sub	second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
topic	Softwaretest (DE-588)4132652-0 gnd Korrektheit (DE-588)4240223-2 gnd System-on-Chip (DE-588)4740357-3 gnd Benchmark (DE-588)4144457-7 gnd Programmanalyse (DE-588)4175841-9 gnd Hardwareverifikation (DE-588)4214982-4 gnd Debugging (DE-588)4148954-8 gnd Model Checking (DE-588)4434799-6 gnd Multithreading (DE-588)4377481-7 gnd Programmverifikation (DE-588)4135576-3 gnd
topic_facet	Softwaretest Korrektheit System-on-Chip Benchmark Programmanalyse Hardwareverifikation Debugging Model Checking Multithreading Programmverifikation Konferenzschrift 2006 Haifa
url	https://doi.org/10.1007/978-3-540-70889-6
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bineyal hardwareandsoftwareverificationandtestingsecondinternationalhaifaverificationconferencehvc2006haifaisraeloctober23262006revisedselectedpapers AT internationalhaifaverificationconferencehaifa hardwareandsoftwareverificationandtestingsecondinternationalhaifaverificationconferencehvc2006haifaisraeloctober23262006revisedselectedpapers

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