Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Göttingen
Cuvillier
2006
|
| Ausgabe: | 1. Aufl. |
| Schlagworte: | |
| Beschreibung: | VI, 262 S. graph. Darst. 21 cm |
| ISBN: | 3865378137 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021610449 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 060607s2006 gw d||| m||| 00||| ger d | ||
| 015 | |a 06,N17,0003 |2 dnb | ||
| 015 | |a 06,A21,0017 |2 dnb | ||
| 016 | 7 | |a 979161630 |2 DE-101 | |
| 020 | |a 3865378137 |c kart. : EUR 36.00 |9 3-86537-813-7 | ||
| 024 | 3 | |a 9783865378132 | |
| 035 | |a (OCoLC)255008582 | ||
| 035 | |a (DE-599)BVBBV021610449 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-NI | ||
| 049 | |a DE-355 |a DE-11 | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Alexander, Adrianna |d 1973- |e Verfasser |0 (DE-588)131568132 |4 aut | |
| 245 | 1 | 0 | |a Komposition temporallogischer Spezifikationen |b Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions |c von Adrianna Alexander |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Göttingen |b Cuvillier |c 2006 | |
| 300 | |a VI, 262 S. |b graph. Darst. |c 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Berlin, Humboldt-Univ., Diss., 2005 | ||
| 650 | 4 | |a Verteiltes System - Subsystem - Spezifikation - Verifikation - Temporale Logik | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Subsystem |0 (DE-588)4210082-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Subsystem |0 (DE-588)4210082-3 |D s |
| 689 | 0 | 2 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 0 | 3 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 4 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014825667 | ||
Datensatz im Suchindex
| _version_ | 1804135396177608704 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Alexander, Adrianna 1973- |
| author_GND | (DE-588)131568132 |
| author_facet | Alexander, Adrianna 1973- |
| author_role | aut |
| author_sort | Alexander, Adrianna 1973- |
| author_variant | a a aa |
| building | Verbundindex |
| bvnumber | BV021610449 |
| classification_rvk | ST 125 |
| ctrlnum | (OCoLC)255008582 (DE-599)BVBBV021610449 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 1. Aufl. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01951nam a2200517 c 4500</leader><controlfield tag="001">BV021610449</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060607s2006 gw d||| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N17,0003</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,A21,0017</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">979161630</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3865378137</subfield><subfield code="c">kart. : EUR 36.00</subfield><subfield code="9">3-86537-813-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783865378132</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255008582</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021610449</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">XA-DE-NI</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-11</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Alexander, Adrianna</subfield><subfield code="d">1973-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131568132</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Komposition temporallogischer Spezifikationen</subfield><subfield code="b">Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions</subfield><subfield code="c">von Adrianna Alexander</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Göttingen</subfield><subfield code="b">Cuvillier</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 262 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm</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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Berlin, Humboldt-Univ., Diss., 2005</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Verteiltes System - Subsystem - Spezifikation - Verifikation - Temporale Logik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Subsystem</subfield><subfield code="0">(DE-588)4210082-3</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Subsystem</subfield><subfield code="0">(DE-588)4210082-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014825667</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021610449 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:50:22Z |
| indexdate | 2024-07-09T20:39:50Z |
| institution | BVB |
| isbn | 3865378137 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014825667 |
| oclc_num | 255008582 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-11 |
| owner_facet | DE-355 DE-BY-UBR DE-11 |
| physical | VI, 262 S. graph. Darst. 21 cm |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Cuvillier |
| record_format | marc |
| spelling | Alexander, Adrianna 1973- Verfasser (DE-588)131568132 aut Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions von Adrianna Alexander 1. Aufl. Göttingen Cuvillier 2006 VI, 262 S. graph. Darst. 21 cm txt rdacontent n rdamedia nc rdacarrier Zugl.: Berlin, Humboldt-Univ., Diss., 2005 Verteiltes System - Subsystem - Spezifikation - Verifikation - Temporale Logik Verteiltes System (DE-588)4238872-7 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf Subsystem (DE-588)4210082-3 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Verteiltes System (DE-588)4238872-7 s Subsystem (DE-588)4210082-3 s Spezifikation (DE-588)4139161-5 s Verifikation (DE-588)4135577-5 s Temporale Logik (DE-588)4137542-7 s DE-604 |
| spellingShingle | Alexander, Adrianna 1973- Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions Verteiltes System - Subsystem - Spezifikation - Verifikation - Temporale Logik Verteiltes System (DE-588)4238872-7 gnd Verifikation (DE-588)4135577-5 gnd Spezifikation (DE-588)4139161-5 gnd Subsystem (DE-588)4210082-3 gnd Temporale Logik (DE-588)4137542-7 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4135577-5 (DE-588)4139161-5 (DE-588)4210082-3 (DE-588)4137542-7 (DE-588)4113937-9 |
| title | Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions |
| title_auth | Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions |
| title_exact_search | Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions |
| title_exact_search_txtP | Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions |
| title_full | Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions von Adrianna Alexander |
| title_fullStr | Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions von Adrianna Alexander |
| title_full_unstemmed | Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions von Adrianna Alexander |
| title_short | Komposition temporallogischer Spezifikationen |
| title_sort | komposition temporallogischer spezifikationen spezifikation und verifikation von systemen mit temporal logic of distributed actions |
| title_sub | Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions |
| topic | Verteiltes System - Subsystem - Spezifikation - Verifikation - Temporale Logik Verteiltes System (DE-588)4238872-7 gnd Verifikation (DE-588)4135577-5 gnd Spezifikation (DE-588)4139161-5 gnd Subsystem (DE-588)4210082-3 gnd Temporale Logik (DE-588)4137542-7 gnd |
| topic_facet | Verteiltes System - Subsystem - Spezifikation - Verifikation - Temporale Logik Verteiltes System Verifikation Spezifikation Subsystem Temporale Logik Hochschulschrift |
| work_keys_str_mv | AT alexanderadrianna kompositiontemporallogischerspezifikationenspezifikationundverifikationvonsystemenmittemporallogicofdistributedactions |