Verfügbarkeit: Temporal verification of reactive systems

Temporal verification of reactive systems: [2] Safety

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Manna, Zohar 1939-2018 (VerfasserIn), Pnueli, Amir (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	New York u.a. Springer 1995
Umfang:	XVIII, 512 S.
ISBN:	0387944591

Internformat

MARC


LEADER	00000nam a2200000 cc4500
001	BV010464007
003	DE-604
005	00000000000000.0
007	t\|
008	951107s1995 xx \|\|\|\| 00\|\|\| eng d
020			\|a 0387944591 \|9 0-387-94459-1
035			\|a (OCoLC)613946225
035			\|a (DE-599)BVBBV010464007
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-384 \|a DE-91G \|a DE-19 \|a DE-29T \|a DE-739 \|a DE-473
100	1		\|a Manna, Zohar \|d 1939-2018 \|e Verfasser \|0 (DE-588)128838248 \|4 aut
245	1	0	\|a Temporal verification of reactive systems \|n [2] \|p Safety \|c Zohar Manna ; Amir Pnueli
264		1	\|a New York u.a. \|b Springer \|c 1995
300			\|a XVIII, 512 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
700	1		\|a Pnueli, Amir \|e Verfasser \|4 aut
773	0	8	\|w (DE-604)BV010437657 \|g 2
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006972330

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 DAT 325f 2001 A 32964
DE-BY-TUM_katkey	664251
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010078227
_version_	1821930935563583489
any_adam_object
author	Manna, Zohar 1939-2018 Pnueli, Amir
author_GND	(DE-588)128838248
author_facet	Manna, Zohar 1939-2018 Pnueli, Amir
author_role	aut aut
author_sort	Manna, Zohar 1939-2018
author_variant	z m zm a p ap
building	Verbundindex
bvnumber	BV010464007
ctrlnum	(OCoLC)613946225 (DE-599)BVBBV010464007
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00875nam a2200277 cc4500</leader><controlfield tag="001">BV010464007</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">951107s1995 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387944591</subfield><subfield code="9">0-387-94459-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)613946225</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010464007</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-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Manna, Zohar</subfield><subfield code="d">1939-2018</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128838248</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Temporal verification of reactive systems</subfield><subfield code="n">[2]</subfield><subfield code="p">Safety</subfield><subfield code="c">Zohar Manna ; Amir Pnueli</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 512 S.</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="700" ind1="1" ind2=" "><subfield code="a">Pnueli, Amir</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV010437657</subfield><subfield code="g">2</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006972330</subfield></datafield></record></collection>
id	DE-604.BV010464007
illustrated	Not Illustrated
indexdate	2024-12-20T09:54:35Z
institution	BVB
isbn	0387944591
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006972330
oclc_num	613946225
open_access_boolean
owner	DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-29T DE-739 DE-473 DE-BY-UBG
owner_facet	DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-29T DE-739 DE-473 DE-BY-UBG
physical	XVIII, 512 S.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Springer
record_format	marc
spellingShingle	Manna, Zohar 1939-2018 Pnueli, Amir Temporal verification of reactive systems
title	Temporal verification of reactive systems
title_auth	Temporal verification of reactive systems
title_exact_search	Temporal verification of reactive systems
title_full	Temporal verification of reactive systems [2] Safety Zohar Manna ; Amir Pnueli
title_fullStr	Temporal verification of reactive systems [2] Safety Zohar Manna ; Amir Pnueli
title_full_unstemmed	Temporal verification of reactive systems [2] Safety Zohar Manna ; Amir Pnueli
title_short	Temporal verification of reactive systems
title_sort	temporal verification of reactive systems safety
volume_link	(DE-604)BV010437657
work_keys_str_mv	AT mannazohar temporalverificationofreactivesystems2 AT pnueliamir temporalverificationofreactivesystems2

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

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