Verfügbarkeit: Correct hardware design and verification methods

Correct hardware design and verification methods: 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 1999
Schriftenreihe:	Lecture notes in computer science 1703
Schlagworte:	Hardwareverifikation Formale Methode Model Checking Hardwareentwurf Verifikation Entwurfsautomation VLSI Konferenzschrift > 1999 > Herrenalb
Online-Zugang:	DE-91 DE-384 DE-19 DE-706 DE-739 Volltext
Beschreibung:	1 Online-Ressource (XI, 366 S. Ill., graph. Darst.)
ISBN:	3540665595 9783540665595
DOI:	10.1007/3-540-48153-2

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV035088210
003	DE-604
007	cr\|uuu---uuuuu
008	081008s1999 gw ad\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 3540665595 \|9 3-540-66559-5
020			\|a 9783540665595 \|9 978-3-540-66559-5
024	7		\|a 10.1007/3-540-48153-2 \|2 doi
035			\|a (OCoLC)699839008
035			\|a (DE-599)BVBBV035088210
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384
245	1	0	\|a Correct hardware design and verification methods \|b 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings \|c Laurence Pierre ... (eds.)
264		1	\|a Berlin u.a. \|b Springer \|c 1999
300			\|a 1 Online-Ressource (XI, 366 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 1703
650	0	7	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|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 Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareentwurf \|0 (DE-588)4159103-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a VLSI \|0 (DE-588)4117388-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1999 \|z Herrenalb \|2 gnd-content
689	0	0	\|a Hardwareentwurf \|0 (DE-588)4159103-3 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	1	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	2		\|5 DE-604
689	3	0	\|a VLSI \|0 (DE-588)4117388-0 \|D s
689	3	1	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|D s
689	3	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	3		\|5 DE-604
689	4	0	\|a VLSI \|0 (DE-588)4117388-0 \|D s
689	4	1	\|a Hardwareentwurf \|0 (DE-588)4159103-3 \|D s
689	4	2	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	4		\|5 DE-604
700	1		\|a Pierre, Laurence \|e Sonstige \|4 oth
710	2		\|a International Federation for Information Processing \|b Working Group Very Large Scale Integration \|e Sonstige \|0 (DE-588)307182-0 \|4 oth
711	2		\|a CHARME \|n 10 \|d 1999 \|c Bad Herrenalb \|j Sonstige \|0 (DE-588)2179057-7 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1703 \|w (DE-604)BV014880109 \|9 1703
856	4	0	\|u https://doi.org/10.1007/3-540-48153-2 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016756363
966	e		\|u https://doi.org/10.1007/3-540-48153-2 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-48153-2 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-48153-2 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-48153-2 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-48153-2 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875072429096960
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV035088210
classification_rvk	SS 4800
collection	ZDB-2-LNC
ctrlnum	(OCoLC)699839008 (DE-599)BVBBV035088210
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/3-540-48153-2
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">BV035088210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">081008s1999 gw ad\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540665595</subfield><subfield code="9">3-540-66559-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540665595</subfield><subfield code="9">978-3-540-66559-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-48153-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699839008</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035088210</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</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></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Correct hardware design and verification methods</subfield><subfield code="b">10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings</subfield><subfield code="c">Laurence Pierre ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 366 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">1703</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">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">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">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</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">1999</subfield><subfield code="z">Herrenalb</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Pierre, Laurence</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Very Large Scale Integration</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)307182-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CHARME</subfield><subfield code="n">10</subfield><subfield code="d">1999</subfield><subfield code="c">Bad Herrenalb</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2179057-7</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">1703</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1703</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-48153-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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-016756363</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-48153-2</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/3-540-48153-2</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/3-540-48153-2</subfield><subfield code="l">DE-19</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/3-540-48153-2</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/3-540-48153-2</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 1999 Herrenalb gnd-content
genre_facet	Konferenzschrift 1999 Herrenalb
id	DE-604.BV035088210
illustrated	Illustrated
index_date	2024-07-02T22:09:40Z
indexdate	2025-01-10T15:09:49Z
institution	BVB
institution_GND	(DE-588)307182-0 (DE-588)2179057-7
isbn	3540665595 9783540665595
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016756363
oclc_num	699839008
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384
physical	1 Online-Ressource (XI, 366 S. Ill., graph. Darst.)
psigel	ZDB-2-LNC
publishDate	1999
publishDateSearch	1999
publishDateSort	1999
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings Laurence Pierre ... (eds.) Berlin u.a. Springer 1999 1 Online-Ressource (XI, 366 S. Ill., graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1703 Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Entwurfsautomation (DE-588)4312536-0 gnd rswk-swf VLSI (DE-588)4117388-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Herrenalb gnd-content Hardwareentwurf (DE-588)4159103-3 s Formale Methode (DE-588)4333722-3 s DE-604 Hardwareverifikation (DE-588)4214982-4 s Model Checking (DE-588)4434799-6 s VLSI (DE-588)4117388-0 s Entwurfsautomation (DE-588)4312536-0 s Verifikation (DE-588)4135577-5 s Pierre, Laurence Sonstige oth International Federation for Information Processing Working Group Very Large Scale Integration Sonstige (DE-588)307182-0 oth CHARME 10 1999 Bad Herrenalb Sonstige (DE-588)2179057-7 oth Lecture notes in computer science 1703 (DE-604)BV014880109 1703 https://doi.org/10.1007/3-540-48153-2 Verlag Volltext
spellingShingle	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings Lecture notes in computer science Hardwareverifikation (DE-588)4214982-4 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Hardwareentwurf (DE-588)4159103-3 gnd Verifikation (DE-588)4135577-5 gnd Entwurfsautomation (DE-588)4312536-0 gnd VLSI (DE-588)4117388-0 gnd
subject_GND	(DE-588)4214982-4 (DE-588)4333722-3 (DE-588)4434799-6 (DE-588)4159103-3 (DE-588)4135577-5 (DE-588)4312536-0 (DE-588)4117388-0 (DE-588)1071861417
title	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings
title_auth	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings
title_exact_search	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings
title_exact_search_txtP	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings
title_full	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings Laurence Pierre ... (eds.)
title_fullStr	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings Laurence Pierre ... (eds.)
title_full_unstemmed	Correct hardware design and verification methods 10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings Laurence Pierre ... (eds.)
title_short	Correct hardware design and verification methods
title_sort	correct hardware design and verification methods 10th ifip wg 10 5 advanced research working conference charme 99 bad herrenalb germany september 27 29 1999 proceedings
title_sub	10th IFIP WG 10.5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 ; proceedings
topic	Hardwareverifikation (DE-588)4214982-4 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Hardwareentwurf (DE-588)4159103-3 gnd Verifikation (DE-588)4135577-5 gnd Entwurfsautomation (DE-588)4312536-0 gnd VLSI (DE-588)4117388-0 gnd
topic_facet	Hardwareverifikation Formale Methode Model Checking Hardwareentwurf Verifikation Entwurfsautomation VLSI Konferenzschrift 1999 Herrenalb
url	https://doi.org/10.1007/3-540-48153-2
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT pierrelaurence correcthardwaredesignandverificationmethods10thifipwg105advancedresearchworkingconferencecharme99badherrenalbgermanyseptember27291999proceedings AT internationalfederationforinformationprocessingworkinggroupverylargescaleintegration correcthardwaredesignandverificationmethods10thifipwg105advancedresearchworkingconferencecharme99badherrenalbgermanyseptember27291999proceedings AT charmebadherrenalb correcthardwaredesignandverificationmethods10thifipwg105advancedresearchworkingconferencecharme99badherrenalbgermanyseptember27291999proceedings

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