Verfügbarkeit: Formal techniques in real time and fault tolerant systems

Formal techniques in real time and fault tolerant systems:

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Boston u.a. Kluwer 1993
Schriftenreihe:	The Kluwer international series in engineering and computer science 221 : Real-time systems
Schlagworte:	Temps réel (informatique) Fault-tolerant computing Real-time data processing Fehlertoleranz Echtzeitsystem Formale Spezifikationstechnik Echtzeitverarbeitung Aufsatzsammlung
Beschreibung:	XI, 208 S. graph. Darst.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV009526665
003	DE-604
005	20100416
007	t
008	940412s1993 d\|\|\| \|\|\|\| 00\|\|\| engod
035			\|a (OCoLC)27684212
035			\|a (DE-599)BVBBV009526665
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G \|a DE-91 \|a DE-739 \|a DE-29T
050		0	\|a QA76.54
082	0		\|a 004/.33 \|2 20
084			\|a ST 267 \|0 (DE-625)143635: \|2 rvk
084			\|a DAT 286f \|2 stub
084			\|a DAT 263f \|2 stub
084			\|a DAT 510f \|2 stub
245	1	0	\|a Formal techniques in real time and fault tolerant systems \|c ed. by Jan Vytopil
246	1	3	\|a Formal techniques in real-time and fault-tolerant systems
264		1	\|a Boston u.a. \|b Kluwer \|c 1993
300			\|a XI, 208 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a The Kluwer international series in engineering and computer science \|v 221 : Real-time systems
650		7	\|a Temps réel (informatique) \|2 ram
650		4	\|a Fault-tolerant computing
650		4	\|a Real-time data processing
650	0	7	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Echtzeitverarbeitung \|0 (DE-588)4151002-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	0	1	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|D s
689	0	2	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Echtzeitverarbeitung \|0 (DE-588)4151002-1 \|D s
689	1		\|8 1\p \|5 DE-604
700	1		\|a Vytopil, Jan \|e Sonstige \|4 oth
830		0	\|a The Kluwer international series in engineering and computer science \|v 221 : Real-time systems \|w (DE-604)BV023545171 \|9 221
999			\|a oai:aleph.bib-bvb.de:BVB01-006290250
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804123863142891520
any_adam_object
building	Verbundindex
bvnumber	BV009526665
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.54
callnumber-search	QA76.54
callnumber-sort	QA 276.54
callnumber-subject	QA - Mathematics
classification_rvk	ST 267
classification_tum	DAT 286f DAT 263f DAT 510f
ctrlnum	(OCoLC)27684212 (DE-599)BVBBV009526665
dewey-full	004/.33
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004/.33
dewey-search	004/.33
dewey-sort	14 233
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02066nam a2200529 cb4500</leader><controlfield tag="001">BV009526665</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100416 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940412s1993 d\|\|\| \|\|\|\| 00\|\|\| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27684212</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009526665</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.33</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 267</subfield><subfield code="0">(DE-625)143635:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques in real time and fault tolerant systems</subfield><subfield code="c">ed. by Jan Vytopil</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Formal techniques in real-time and fault-tolerant systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston u.a.</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 208 S.</subfield><subfield code="b">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">The Kluwer international series in engineering and computer science</subfield><subfield code="v">221 : Real-time systems</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Temps réel (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-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">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</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">Vytopil, Jan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">221 : Real-time systems</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">221</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006290250</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)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufsatzsammlung
id	DE-604.BV009526665
illustrated	Illustrated
indexdate	2024-07-09T17:36:31Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006290250
oclc_num	27684212
open_access_boolean
owner	DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-739 DE-29T
owner_facet	DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-739 DE-29T
physical	XI, 208 S. graph. Darst.
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Kluwer
record_format	marc
series	The Kluwer international series in engineering and computer science
series2	The Kluwer international series in engineering and computer science
spelling	Formal techniques in real time and fault tolerant systems ed. by Jan Vytopil Formal techniques in real-time and fault-tolerant systems Boston u.a. Kluwer 1993 XI, 208 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 221 : Real-time systems Temps réel (informatique) ram Fault-tolerant computing Real-time data processing Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Echtzeitverarbeitung (DE-588)4151002-1 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Echtzeitsystem (DE-588)4131397-5 s Fehlertoleranz (DE-588)4123192-2 s Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Echtzeitverarbeitung (DE-588)4151002-1 s 1\p DE-604 Vytopil, Jan Sonstige oth The Kluwer international series in engineering and computer science 221 : Real-time systems (DE-604)BV023545171 221 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Formal techniques in real time and fault tolerant systems The Kluwer international series in engineering and computer science Temps réel (informatique) ram Fault-tolerant computing Real-time data processing Fehlertoleranz (DE-588)4123192-2 gnd Echtzeitsystem (DE-588)4131397-5 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd
subject_GND	(DE-588)4123192-2 (DE-588)4131397-5 (DE-588)4299725-2 (DE-588)4151002-1 (DE-588)4143413-4
title	Formal techniques in real time and fault tolerant systems
title_alt	Formal techniques in real-time and fault-tolerant systems
title_auth	Formal techniques in real time and fault tolerant systems
title_exact_search	Formal techniques in real time and fault tolerant systems
title_full	Formal techniques in real time and fault tolerant systems ed. by Jan Vytopil
title_fullStr	Formal techniques in real time and fault tolerant systems ed. by Jan Vytopil
title_full_unstemmed	Formal techniques in real time and fault tolerant systems ed. by Jan Vytopil
title_short	Formal techniques in real time and fault tolerant systems
title_sort	formal techniques in real time and fault tolerant systems
topic	Temps réel (informatique) ram Fault-tolerant computing Real-time data processing Fehlertoleranz (DE-588)4123192-2 gnd Echtzeitsystem (DE-588)4131397-5 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd
topic_facet	Temps réel (informatique) Fault-tolerant computing Real-time data processing Fehlertoleranz Echtzeitsystem Formale Spezifikationstechnik Echtzeitverarbeitung Aufsatzsammlung
volume_link	(DE-604)BV023545171
work_keys_str_mv	AT vytopiljan formaltechniquesinrealtimeandfaulttolerantsystems

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