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:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2007
Schriftenreihe:	Lecture notes in computer science 4383
Schlagworte:	Programmverifikation Programmanalyse System-on-Chip Multithreading Softwaretest Model Checking Debugging Benchmark Hardwareverifikation Korrektheit Konferenzschrift > 2006 > Haifa
Beschreibung:	XII, 234 S. Ill., graph. Darst.
ISBN:	9783540708889 354070888X

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022311556
003	DE-604
005	20161129
007	t
008	070314s2007 gw ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 07,N08,0036 \|2 dnb
016	7		\|a 982806620 \|2 DE-101
020			\|a 9783540708889 \|c : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.) \|9 978-3-540-70888-9
020			\|a 354070888X \|c : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.) \|9 3-540-70888-X
024	3		\|a 9783540708889
028	5	2	\|a 12019380
035			\|a (OCoLC)635330874
035			\|a (DE-599)BVBBV022311556
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-91G \|a DE-706 \|a DE-83 \|a DE-11
082	0		\|a 004.24 \|2 22/ger
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 325f \|2 stub
084			\|a DAT 330f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 190f \|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 XII, 234 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 4383
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a System-on-Chip \|0 (DE-588)4740357-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Multithreading \|0 (DE-588)4377481-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|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 Debugging \|0 (DE-588)4148954-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Benchmark \|0 (DE-588)4144457-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Korrektheit \|0 (DE-588)4240223-2 \|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)BV000000607 \|9 4383
999			\|a oai:aleph.bib-bvb.de:BVB01-015521080

Datensatz im Suchindex

_version_	1804136332911443968
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV022311556
classification_rvk	SS 4800
classification_tum	DAT 325f DAT 330f DAT 190f
ctrlnum	(OCoLC)635330874 (DE-599)BVBBV022311556
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
discipline_str_mv	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03034nam a2200757 cb4500</leader><controlfield tag="001">BV022311556</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161129 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070314s2007 gw ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N08,0036</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">982806620</subfield><subfield code="2">DE-101</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">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="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)635330874</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022311556</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">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 325f</subfield><subfield code="2">stub</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 190f</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">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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">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">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">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">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">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">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">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">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">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">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</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)BV000000607</subfield><subfield code="9">4383</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015521080</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2006 Haifa gnd-content
genre_facet	Konferenzschrift 2006 Haifa
id	DE-604.BV022311556
illustrated	Illustrated
index_date	2024-07-02T16:58:36Z
indexdate	2024-07-09T20:54:43Z
institution	BVB
institution_GND	(DE-588)6063114-4
isbn	9783540708889 354070888X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015521080
oclc_num	635330874
open_access_boolean
owner	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
owner_facet	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
physical	XII, 234 S. Ill., graph. Darst.
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 XII, 234 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 4383 Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf System-on-Chip (DE-588)4740357-3 gnd rswk-swf Multithreading (DE-588)4377481-7 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Debugging (DE-588)4148954-8 gnd rswk-swf Benchmark (DE-588)4144457-7 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Korrektheit (DE-588)4240223-2 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)BV000000607 4383
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 Programmverifikation (DE-588)4135576-3 gnd Programmanalyse (DE-588)4175841-9 gnd System-on-Chip (DE-588)4740357-3 gnd Multithreading (DE-588)4377481-7 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Debugging (DE-588)4148954-8 gnd Benchmark (DE-588)4144457-7 gnd Hardwareverifikation (DE-588)4214982-4 gnd Korrektheit (DE-588)4240223-2 gnd
subject_GND	(DE-588)4135576-3 (DE-588)4175841-9 (DE-588)4740357-3 (DE-588)4377481-7 (DE-588)4132652-0 (DE-588)4434799-6 (DE-588)4148954-8 (DE-588)4144457-7 (DE-588)4214982-4 (DE-588)4240223-2 (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	Programmverifikation (DE-588)4135576-3 gnd Programmanalyse (DE-588)4175841-9 gnd System-on-Chip (DE-588)4740357-3 gnd Multithreading (DE-588)4377481-7 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Debugging (DE-588)4148954-8 gnd Benchmark (DE-588)4144457-7 gnd Hardwareverifikation (DE-588)4214982-4 gnd Korrektheit (DE-588)4240223-2 gnd
topic_facet	Programmverifikation Programmanalyse System-on-Chip Multithreading Softwaretest Model Checking Debugging Benchmark Hardwareverifikation Korrektheit Konferenzschrift 2006 Haifa
volume_link	(DE-604)BV000000607
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!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge