Verfügbarkeit: Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Stirling, Colin (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	New York, NY Springer New York 2001
Ausgabe:	1st ed. 2001
Schriftenreihe:	Texts in Computer Science
Schlagworte:	Control and Systems Theory Software Engineering/Programming and Operating Systems Computer Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Control engineering Software engineering Computer engineering Computer logic Mathematical logic Bisimulation Temporale Logik Modallogik Prozessalgebra Nebenläufigkeit My-Kalkül
Online-Zugang:	UBY01 Volltext
Beschreibung:	1 Online-Ressource (XII, 191 p. 2 illus)
ISBN:	9781475735505
DOI:	10.1007/978-1-4757-3550-5

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV047064835
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	201216s2001 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9781475735505 \|9 978-1-4757-3550-5
024	7		\|a 10.1007/978-1-4757-3550-5 \|2 doi
035			\|a (ZDB-2-SCS)978-1-4757-3550-5
035			\|a (OCoLC)1227484267
035			\|a (DE-599)BVBBV047064835
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-706
082	0		\|a 629.8 \|2 23
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
100	1		\|a Stirling, Colin \|e Verfasser \|4 aut
245	1	0	\|a Modal and Temporal Properties of Processes \|c by Colin Stirling
250			\|a 1st ed. 2001
264		1	\|a New York, NY \|b Springer New York \|c 2001
300			\|a 1 Online-Ressource (XII, 191 p. 2 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Texts in Computer Science
650		4	\|a Control and Systems Theory
650		4	\|a Software Engineering/Programming and Operating Systems
650		4	\|a Computer Engineering
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Control engineering
650		4	\|a Software engineering
650		4	\|a Computer engineering
650		4	\|a Computer logic
650		4	\|a Mathematical logic
650	0	7	\|a Bisimulation \|0 (DE-588)4619739-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Temporale Logik \|0 (DE-588)4137542-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modallogik \|0 (DE-588)4074914-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a My-Kalkül \|0 (DE-588)4530731-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0	1	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|D s
689	0	2	\|a Bisimulation \|0 (DE-588)4619739-4 \|D s
689	0	3	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	0	4	\|a My-Kalkül \|0 (DE-588)4530731-3 \|D s
689	0	5	\|a Temporale Logik \|0 (DE-588)4137542-7 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9781441931535
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9780387987170
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9781475735512
856	4	0	\|u https://doi.org/10.1007/978-1-4757-3550-5 \|x Verlag \|z URL des Eerstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2000/2004
999			\|a oai:aleph.bib-bvb.de:BVB01-032471947
966	e		\|u https://doi.org/10.1007/978-1-4757-3550-5 \|l UBY01 \|p ZDB-2-SCS \|q ZDB-2-SCS_2000/2004 \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804182063393275904
adam_txt
any_adam_object
any_adam_object_boolean
author	Stirling, Colin
author_facet	Stirling, Colin
author_role	aut
author_sort	Stirling, Colin
author_variant	c s cs
building	Verbundindex
bvnumber	BV047064835
classification_rvk	ST 125 ST 130
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)978-1-4757-3550-5 (OCoLC)1227484267 (DE-599)BVBBV047064835
dewey-full	629.8
dewey-hundreds	600 - Technology (Applied sciences)
dewey-ones	629 - Other branches of engineering
dewey-raw	629.8
dewey-search	629.8
dewey-sort	3629.8
dewey-tens	620 - Engineering and allied operations
discipline	Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik
discipline_str_mv	Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik
doi_str_mv	10.1007/978-1-4757-3550-5
edition	1st ed. 2001
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02665nmm a2200697zc 4500</leader><controlfield tag="001">BV047064835</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">201216s2001 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781475735505</subfield><subfield code="9">978-1-4757-3550-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4757-3550-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4757-3550-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227484267</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064835</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stirling, Colin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal and Temporal Properties of Processes</subfield><subfield code="c">by Colin Stirling</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 191 p. 2 illus)</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="0" ind2=" "><subfield code="a">Texts in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control and Systems Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bisimulation</subfield><subfield code="0">(DE-588)4619739-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</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="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">My-Kalkül</subfield><subfield code="0">(DE-588)4530731-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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="2"><subfield code="a">Bisimulation</subfield><subfield code="0">(DE-588)4619739-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">My-Kalkül</subfield><subfield code="0">(DE-588)4530731-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781441931535</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780387987170</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781475735512</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4757-3550-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471947</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4757-3550-5</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV047064835
illustrated	Not Illustrated
index_date	2024-07-03T16:12:23Z
indexdate	2024-07-10T09:01:35Z
institution	BVB
isbn	9781475735505
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032471947
oclc_num	1227484267
open_access_boolean
owner	DE-706
owner_facet	DE-706
physical	1 Online-Ressource (XII, 191 p. 2 illus)
psigel	ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004
publishDate	2001
publishDateSearch	2001
publishDateSort	2001
publisher	Springer New York
record_format	marc
series2	Texts in Computer Science
spelling	Stirling, Colin Verfasser aut Modal and Temporal Properties of Processes by Colin Stirling 1st ed. 2001 New York, NY Springer New York 2001 1 Online-Ressource (XII, 191 p. 2 illus) txt rdacontent c rdamedia cr rdacarrier Texts in Computer Science Control and Systems Theory Software Engineering/Programming and Operating Systems Computer Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Control engineering Software engineering Computer engineering Computer logic Mathematical logic Bisimulation (DE-588)4619739-4 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf My-Kalkül (DE-588)4530731-3 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 s Prozessalgebra (DE-588)4283920-8 s Bisimulation (DE-588)4619739-4 s Modallogik (DE-588)4074914-9 s My-Kalkül (DE-588)4530731-3 s Temporale Logik (DE-588)4137542-7 s DE-604 Erscheint auch als Druck-Ausgabe 9781441931535 Erscheint auch als Druck-Ausgabe 9780387987170 Erscheint auch als Druck-Ausgabe 9781475735512 https://doi.org/10.1007/978-1-4757-3550-5 Verlag URL des Eerstveröffentlichers Volltext
spellingShingle	Stirling, Colin Modal and Temporal Properties of Processes Control and Systems Theory Software Engineering/Programming and Operating Systems Computer Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Control engineering Software engineering Computer engineering Computer logic Mathematical logic Bisimulation (DE-588)4619739-4 gnd Temporale Logik (DE-588)4137542-7 gnd Modallogik (DE-588)4074914-9 gnd Prozessalgebra (DE-588)4283920-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd My-Kalkül (DE-588)4530731-3 gnd
subject_GND	(DE-588)4619739-4 (DE-588)4137542-7 (DE-588)4074914-9 (DE-588)4283920-8 (DE-588)4115352-2 (DE-588)4530731-3
title	Modal and Temporal Properties of Processes
title_auth	Modal and Temporal Properties of Processes
title_exact_search	Modal and Temporal Properties of Processes
title_exact_search_txtP	Modal and Temporal Properties of Processes
title_full	Modal and Temporal Properties of Processes by Colin Stirling
title_fullStr	Modal and Temporal Properties of Processes by Colin Stirling
title_full_unstemmed	Modal and Temporal Properties of Processes by Colin Stirling
title_short	Modal and Temporal Properties of Processes
title_sort	modal and temporal properties of processes
topic	Control and Systems Theory Software Engineering/Programming and Operating Systems Computer Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Control engineering Software engineering Computer engineering Computer logic Mathematical logic Bisimulation (DE-588)4619739-4 gnd Temporale Logik (DE-588)4137542-7 gnd Modallogik (DE-588)4074914-9 gnd Prozessalgebra (DE-588)4283920-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd My-Kalkül (DE-588)4530731-3 gnd
topic_facet	Control and Systems Theory Software Engineering/Programming and Operating Systems Computer Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Control engineering Software engineering Computer engineering Computer logic Mathematical logic Bisimulation Temporale Logik Modallogik Prozessalgebra Nebenläufigkeit My-Kalkül
url	https://doi.org/10.1007/978-1-4757-3550-5
work_keys_str_mv	AT stirlingcolin modalandtemporalpropertiesofprocesses

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