Verfügbarkeit: Verifying temporal properties of systems

Verifying temporal properties of systems:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Bradfield, Julian 1964- (VerfasserIn)
Format:	Buch
Sprache:	Nichtbestimmte Sprache
Veröffentlicht:	Boston [u.a.] Birkhäuser 1992
Schriftenreihe:	Progress in theoretical computer science
Schlagwörter:	Verifikation Unendlichdimensionales System Nebenläufigkeit Temporale Logik
Beschreibung:	Literaturverz. S. 105 - 109
Umfang:	VI, 113 S. graph. Darst.
ISBN:	3764336250 0817636250

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV005577596
003	DE-604
005	20100920
007	t\|
008	920817s1992 gw d\|\|\| \|\|\|\| 00\|\|\| und d
020			\|a 3764336250 \|9 3-7643-3625-0
020			\|a 0817636250 \|9 0-8176-3625-0
035			\|a (OCoLC)243727543
035			\|a (DE-599)BVBBV005577596
040			\|a DE-604 \|b ger \|e rakddb
041			\|a und
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-384 \|a DE-91G \|a DE-739 \|a DE-473 \|a DE-11
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 140 \|0 (DE-625)143592: \|2 rvk
084			\|a DAT 325f \|2 stub
084			\|a DAT 549f \|2 stub
100	1		\|a Bradfield, Julian \|d 1964- \|e Verfasser \|0 (DE-588)124001629 \|4 aut
245	1	0	\|a Verifying temporal properties of systems \|c Julian Charles Bradfield
264		1	\|a Boston [u.a.] \|b Birkhäuser \|c 1992
300			\|a VI, 113 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Progress in theoretical computer science
500			\|a Literaturverz. S. 105 - 109
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Unendlichdimensionales System \|0 (DE-588)4207956-1 \|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 Temporale Logik \|0 (DE-588)4137542-7 \|2 gnd \|9 rswk-swf
689	0	0	\|a Unendlichdimensionales System \|0 (DE-588)4207956-1 \|D s
689	0	1	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0	2	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0	3	\|a Temporale Logik \|0 (DE-588)4137542-7 \|D s
689	0		\|5 DE-604
943	1		\|a oai:aleph.bib-bvb.de:BVB01-003493062

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 325f 2001 A 8486
DE-BY-TUM_katkey	564521
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010430101
_version_	1821937748846575616
any_adam_object
author	Bradfield, Julian 1964-
author_GND	(DE-588)124001629
author_facet	Bradfield, Julian 1964-
author_role	aut
author_sort	Bradfield, Julian 1964-
author_variant	j b jb
building	Verbundindex
bvnumber	BV005577596
classification_rvk	ST 130 ST 140
classification_tum	DAT 325f DAT 549f
ctrlnum	(OCoLC)243727543 (DE-599)BVBBV005577596
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01636nam a2200457 c 4500</leader><controlfield tag="001">BV005577596</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100920 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">920817s1992 gw d\|\|\| \|\|\|\| 00\|\|\| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764336250</subfield><subfield code="9">3-7643-3625-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0817636250</subfield><subfield code="9">0-8176-3625-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243727543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005577596</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=" " ind2=" "><subfield code="a">und</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-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-11</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="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 549f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bradfield, Julian</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124001629</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifying temporal properties of systems</subfield><subfield code="c">Julian Charles Bradfield</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 113 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="0" ind2=" "><subfield code="a">Progress in theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 105 - 109</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">Unendlichdimensionales System</subfield><subfield code="0">(DE-588)4207956-1</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">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="689" ind1="0" ind2="0"><subfield code="a">Unendlichdimensionales System</subfield><subfield code="0">(DE-588)4207956-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><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="3"><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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003493062</subfield></datafield></record></collection>
id	DE-604.BV005577596
illustrated	Illustrated
indexdate	2024-12-20T08:35:33Z
institution	BVB
isbn	3764336250 0817636250
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-003493062
oclc_num	243727543
open_access_boolean
owner	DE-12 DE-384 DE-91G DE-BY-TUM DE-739 DE-473 DE-BY-UBG DE-11
owner_facet	DE-12 DE-384 DE-91G DE-BY-TUM DE-739 DE-473 DE-BY-UBG DE-11
physical	VI, 113 S. graph. Darst.
publishDate	1992
publishDateSearch	1992
publishDateSort	1992
publisher	Birkhäuser
record_format	marc
series2	Progress in theoretical computer science
spellingShingle	Bradfield, Julian 1964- Verifying temporal properties of systems Verifikation (DE-588)4135577-5 gnd Unendlichdimensionales System (DE-588)4207956-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Temporale Logik (DE-588)4137542-7 gnd
subject_GND	(DE-588)4135577-5 (DE-588)4207956-1 (DE-588)4115352-2 (DE-588)4137542-7
title	Verifying temporal properties of systems
title_auth	Verifying temporal properties of systems
title_exact_search	Verifying temporal properties of systems
title_full	Verifying temporal properties of systems Julian Charles Bradfield
title_fullStr	Verifying temporal properties of systems Julian Charles Bradfield
title_full_unstemmed	Verifying temporal properties of systems Julian Charles Bradfield
title_short	Verifying temporal properties of systems
title_sort	verifying temporal properties of systems
topic	Verifikation (DE-588)4135577-5 gnd Unendlichdimensionales System (DE-588)4207956-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Temporale Logik (DE-588)4137542-7 gnd
topic_facet	Verifikation Unendlichdimensionales System Nebenläufigkeit Temporale Logik
work_keys_str_mv	AT bradfieldjulian verifyingtemporalpropertiesofsystems

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 DAT 325f 2001 A 8486 Lageplan
Exemplar 1	Ausleihbar Am Standort