Verfügbarkeit: Introduction to the formal design of real time systems

Introduction to the formal design of real time systems:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gray, David (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	London u.a. Springer 1999
Schriftenreihe:	Applied computing
Schlagworte:	Systèmes, Conception de Temps réel Real-time data processing System design Systementwicklung Echtzeitsystem Prozessalgebra Einführung Aufgabensammlung
Beschreibung:	XIII, 461 S. Ill.
ISBN:	3540761403

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV011587863
003	DE-604
005	20060314
007	t
008	971013s1997 gw a\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3540761403 \|c Pb. : DM 90.00 \|9 3-540-76140-3
035			\|a (OCoLC)37457758
035			\|a (DE-599)BVBBV011587863
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-739 \|a DE-19 \|a DE-824 \|a DE-634
050		0	\|a QA76.54
082	0		\|a 005.2/73 \|2 21
084			\|a ST 234 \|0 (DE-625)143621: \|2 rvk
084			\|a ST 260 \|0 (DE-625)143632: \|2 rvk
084			\|a ST 267 \|0 (DE-625)143635: \|2 rvk
100	1		\|a Gray, David \|e Verfasser \|4 aut
245	1	0	\|a Introduction to the formal design of real time systems \|c David Gray
264		1	\|a London u.a. \|b Springer \|c 1999
300			\|a XIII, 461 S. \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Applied computing
650		4	\|a Systèmes, Conception de
650		4	\|a Temps réel
650		4	\|a Real-time data processing
650		4	\|a System design
650	0	7	\|a Systementwicklung \|0 (DE-588)4126945-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
655		7	\|8 2\p \|0 (DE-588)4143389-0 \|a Aufgabensammlung \|2 gnd-content
689	0	0	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	0	1	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|D s
689	0		\|5 DE-604
689	1	0	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	1		\|8 3\p \|5 DE-604
999			\|a oai:aleph.bib-bvb.de:BVB01-007804756
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804126115836461056
any_adam_object
author	Gray, David
author_facet	Gray, David
author_role	aut
author_sort	Gray, David
author_variant	d g dg
building	Verbundindex
bvnumber	BV011587863
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 234 ST 260 ST 267
ctrlnum	(OCoLC)37457758 (DE-599)BVBBV011587863
dewey-full	005.2/73
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.2/73
dewey-search	005.2/73
dewey-sort	15.2 273
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>01936nam a2200541 c 4500</leader><controlfield tag="001">BV011587863</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060314 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971013s1997 gw a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540761403</subfield><subfield code="c">Pb. : DM 90.00</subfield><subfield code="9">3-540-76140-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37457758</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011587863</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-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2/73</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 234</subfield><subfield code="0">(DE-625)143621:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 260</subfield><subfield code="0">(DE-625)143632:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Gray, David</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to the formal design of real time systems</subfield><subfield code="c">David Gray</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 461 S.</subfield><subfield code="b">Ill.</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">Applied computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Conception de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temps réel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</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">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</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">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007804756</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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	1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4143389-0 Aufgabensammlung gnd-content
genre_facet	Einführung Aufgabensammlung
id	DE-604.BV011587863
illustrated	Illustrated
indexdate	2024-07-09T18:12:20Z
institution	BVB
isbn	3540761403
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007804756
oclc_num	37457758
open_access_boolean
owner	DE-739 DE-19 DE-BY-UBM DE-824 DE-634
owner_facet	DE-739 DE-19 DE-BY-UBM DE-824 DE-634
physical	XIII, 461 S. Ill.
publishDate	1999
publishDateSearch	1997
publishDateSort	1997
publisher	Springer
record_format	marc
series2	Applied computing
spelling	Gray, David Verfasser aut Introduction to the formal design of real time systems David Gray London u.a. Springer 1999 XIII, 461 S. Ill. txt rdacontent n rdamedia nc rdacarrier Applied computing Systèmes, Conception de Temps réel Real-time data processing System design Systementwicklung (DE-588)4126945-7 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4143389-0 Aufgabensammlung gnd-content Echtzeitsystem (DE-588)4131397-5 s Prozessalgebra (DE-588)4283920-8 s DE-604 Systementwicklung (DE-588)4126945-7 s 3\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Gray, David Introduction to the formal design of real time systems Systèmes, Conception de Temps réel Real-time data processing System design Systementwicklung (DE-588)4126945-7 gnd Echtzeitsystem (DE-588)4131397-5 gnd Prozessalgebra (DE-588)4283920-8 gnd
subject_GND	(DE-588)4126945-7 (DE-588)4131397-5 (DE-588)4283920-8 (DE-588)4151278-9 (DE-588)4143389-0
title	Introduction to the formal design of real time systems
title_auth	Introduction to the formal design of real time systems
title_exact_search	Introduction to the formal design of real time systems
title_full	Introduction to the formal design of real time systems David Gray
title_fullStr	Introduction to the formal design of real time systems David Gray
title_full_unstemmed	Introduction to the formal design of real time systems David Gray
title_short	Introduction to the formal design of real time systems
title_sort	introduction to the formal design of real time systems
topic	Systèmes, Conception de Temps réel Real-time data processing System design Systementwicklung (DE-588)4126945-7 gnd Echtzeitsystem (DE-588)4131397-5 gnd Prozessalgebra (DE-588)4283920-8 gnd
topic_facet	Systèmes, Conception de Temps réel Real-time data processing System design Systementwicklung Echtzeitsystem Prozessalgebra Einführung Aufgabensammlung
work_keys_str_mv	AT graydavid introductiontotheformaldesignofrealtimesystems

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