Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Helsinki
Dep. of Computer Science, Univ. of Helsinki
1996
|
| Schriftenreihe: | Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications / A]
1996,1 |
| Schlagworte: | |
| Beschreibung: | Zugl.: Helsinki, Univ., Diss., 1996 |
| Beschreibung: | 185 S. graph. Darst. |
| ISBN: | 9514573382 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010933798 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960905s1996 d||| m||| 00||| eng d | ||
| 020 | |a 9514573382 |9 951-45-7338-2 | ||
| 035 | |a (OCoLC)614187979 | ||
| 035 | |a (DE-599)BVBBV010933798 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-355 |a DE-11 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Kaivola, Roope |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems |c Roope Kaivola |
| 264 | 1 | |a Helsinki |b Dep. of Computer Science, Univ. of Helsinki |c 1996 | |
| 300 | |a 185 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications / A] |v 1996,1 | |
| 500 | |a Zugl.: Helsinki, Univ., Diss., 1996 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 810 | 2 | |a A] |t Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications |v 1996,1 |w (DE-604)BV000904448 |9 1996,1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007313334 | ||
Datensatz im Suchindex
| _version_ | 1804125422811611136 |
|---|---|
| any_adam_object | |
| author | Kaivola, Roope |
| author_facet | Kaivola, Roope |
| author_role | aut |
| author_sort | Kaivola, Roope |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV010933798 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)614187979 (DE-599)BVBBV010933798 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01197nam a2200313 cb4500</leader><controlfield tag="001">BV010933798</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960905s1996 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9514573382</subfield><subfield code="9">951-45-7338-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)614187979</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010933798</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-19</subfield><subfield code="a">DE-355</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="100" ind1="1" ind2=" "><subfield code="a">Kaivola, Roope</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems</subfield><subfield code="c">Roope Kaivola</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Helsinki</subfield><subfield code="b">Dep. of Computer Science, Univ. of Helsinki</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">185 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="1" ind2=" "><subfield code="a">Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications / A]</subfield><subfield code="v">1996,1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Helsinki, Univ., Diss., 1996</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="810" ind1="2" ind2=" "><subfield code="a">A]</subfield><subfield code="t">Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications</subfield><subfield code="v">1996,1</subfield><subfield code="w">(DE-604)BV000904448</subfield><subfield code="9">1996,1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007313334</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010933798 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:01:19Z |
| institution | BVB |
| isbn | 9514573382 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007313334 |
| oclc_num | 614187979 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-11 |
| physical | 185 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Dep. of Computer Science, Univ. of Helsinki |
| record_format | marc |
| series2 | Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications / A] |
| spelling | Kaivola, Roope Verfasser aut Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems Roope Kaivola Helsinki Dep. of Computer Science, Univ. of Helsinki 1996 185 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications / A] 1996,1 Zugl.: Helsinki, Univ., Diss., 1996 (DE-588)4113937-9 Hochschulschrift gnd-content A] Tietojenkäsittelyopin Laitos <Helsinki>: [Series of publications 1996,1 (DE-604)BV000904448 1996,1 |
| spellingShingle | Kaivola, Roope Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems |
| subject_GND | (DE-588)4113937-9 |
| title | Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems |
| title_auth | Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems |
| title_exact_search | Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems |
| title_full | Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems Roope Kaivola |
| title_fullStr | Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems Roope Kaivola |
| title_full_unstemmed | Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems Roope Kaivola |
| title_short | Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems |
| title_sort | equivalences preorders and compositional verification for linear time temporal logic and concurrent systems |
| topic_facet | Hochschulschrift |
| volume_link | (DE-604)BV000904448 |
| work_keys_str_mv | AT kaivolaroope equivalencespreordersandcompositionalverificationforlineartimetemporallogicandconcurrentsystems |