Verfügbarkeit: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen:

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	German
Veröffentlicht:	Aachen Shaker 2002
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Entwurfssprache Entwurfsautomation Systemsynthese Beschreibungssprache Verifikation Modellierung Konferenzschrift > 2002
Beschreibung:	Literaturangaben
Beschreibung:	248 S. Ill., graph. Darst.
ISBN:	3826598598

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV014151119
003	DE-604
005	20020829
007	t
008	020211s2002 gw ad\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 963716531 \|2 DE-101
020			\|a 3826598598 \|9 3-8265-9859-8
035			\|a (OCoLC)76381280
035			\|a (DE-599)BVBBV014151119
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-634
084			\|a ST 190 \|0 (DE-625)143607: \|2 rvk
245	1	0	\|a Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen \|c Jürgen Ruf (Hrsg.)
264		1	\|a Aachen \|b Shaker \|c 2002
300			\|a 248 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Berichte aus der Informatik
500			\|a Literaturangaben
650	0	7	\|a Entwurfssprache \|0 (DE-588)4295335-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemsynthese \|0 (DE-588)4198909-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beschreibungssprache \|0 (DE-588)4131473-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modellierung \|0 (DE-588)4170297-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2002 \|2 gnd-content
689	0	0	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|D s
689	0	1	\|a Systemsynthese \|0 (DE-588)4198909-0 \|D s
689	0	2	\|a Beschreibungssprache \|0 (DE-588)4131473-6 \|D s
689	0	3	\|a Entwurfssprache \|0 (DE-588)4295335-2 \|D s
689	0	4	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Entwurfsautomation \|0 (DE-588)4312536-0 \|D s
689	1	1	\|a Systemsynthese \|0 (DE-588)4198909-0 \|D s
689	1	2	\|a Modellierung \|0 (DE-588)4170297-9 \|D s
689	1	3	\|a Beschreibungssprache \|0 (DE-588)4131473-6 \|D s
689	1	4	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	1		\|8 1\p \|5 DE-604
700	1		\|a Ruf, Jürgen \|e Sonstige \|4 oth
999			\|a oai:aleph.bib-bvb.de:BVB01-009698558
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804129025603403776
any_adam_object
building	Verbundindex
bvnumber	BV014151119
classification_rvk	ST 190
ctrlnum	(OCoLC)76381280 (DE-599)BVBBV014151119
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02091nam a2200553 c 4500</leader><controlfield tag="001">BV014151119</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020829 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020211s2002 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963716531</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3826598598</subfield><subfield code="9">3-8265-9859-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76381280</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014151119</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">ger</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-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen</subfield><subfield code="c">Jürgen Ruf (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">248 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="0" ind2=" "><subfield code="a">Berichte aus der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</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">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschreibungssprache</subfield><subfield code="0">(DE-588)4131473-6</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">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</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">2002</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Beschreibungssprache</subfield><subfield code="0">(DE-588)4131473-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Beschreibungssprache</subfield><subfield code="0">(DE-588)4131473-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ruf, Jürgen</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009698558</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2002 gnd-content
genre_facet	Konferenzschrift 2002
id	DE-604.BV014151119
illustrated	Illustrated
indexdate	2024-07-09T18:58:35Z
institution	BVB
isbn	3826598598
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009698558
oclc_num	76381280
open_access_boolean
owner	DE-634
owner_facet	DE-634
physical	248 S. Ill., graph. Darst.
publishDate	2002
publishDateSearch	2002
publishDateSort	2002
publisher	Shaker
record_format	marc
series2	Berichte aus der Informatik
spelling	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Jürgen Ruf (Hrsg.) Aachen Shaker 2002 248 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berichte aus der Informatik Literaturangaben Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Entwurfsautomation (DE-588)4312536-0 gnd rswk-swf Systemsynthese (DE-588)4198909-0 gnd rswk-swf Beschreibungssprache (DE-588)4131473-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 gnd-content Entwurfsautomation (DE-588)4312536-0 s Systemsynthese (DE-588)4198909-0 s Beschreibungssprache (DE-588)4131473-6 s Entwurfssprache (DE-588)4295335-2 s Verifikation (DE-588)4135577-5 s DE-604 Modellierung (DE-588)4170297-9 s 1\p DE-604 Ruf, Jürgen Sonstige oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Entwurfssprache (DE-588)4295335-2 gnd Entwurfsautomation (DE-588)4312536-0 gnd Systemsynthese (DE-588)4198909-0 gnd Beschreibungssprache (DE-588)4131473-6 gnd Verifikation (DE-588)4135577-5 gnd Modellierung (DE-588)4170297-9 gnd
subject_GND	(DE-588)4295335-2 (DE-588)4312536-0 (DE-588)4198909-0 (DE-588)4131473-6 (DE-588)4135577-5 (DE-588)4170297-9 (DE-588)1071861417
title	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_auth	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_exact_search	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_full	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Jürgen Ruf (Hrsg.)
title_fullStr	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Jürgen Ruf (Hrsg.)
title_full_unstemmed	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Jürgen Ruf (Hrsg.)
title_short	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
title_sort	methoden und beschreibungssprachen zur modellierung und verifikation von schaltungen und systemen
topic	Entwurfssprache (DE-588)4295335-2 gnd Entwurfsautomation (DE-588)4312536-0 gnd Systemsynthese (DE-588)4198909-0 gnd Beschreibungssprache (DE-588)4131473-6 gnd Verifikation (DE-588)4135577-5 gnd Modellierung (DE-588)4170297-9 gnd
topic_facet	Entwurfssprache Entwurfsautomation Systemsynthese Beschreibungssprache Verifikation Modellierung Konferenzschrift 2002
work_keys_str_mv	AT rufjurgen methodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemen

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