On the specification of concurrent systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
Dep. of Computer Science, Stanford Univ.
1991
|
| Schriftenreihe: | Stanford University / Computer Science Department: Report STAN-CS
1355 |
| Schlagworte: | |
| Beschreibung: | Zugl.: Stanford, Calif., Univ., Diss., 1991 |
| Beschreibung: | VII, 91 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV007697985 | ||
| 003 | DE-604 | ||
| 005 | 20230404 | ||
| 007 | t| | ||
| 008 | 930421s1991 xx m||| 00||| eng d | ||
| 035 | |a (OCoLC)606079284 | ||
| 035 | |a (DE-599)BVBBV007697985 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-91 | ||
| 084 | |a DAT 516d |2 stub | ||
| 084 | |a DAT 335d |2 stub | ||
| 088 | |a STAN CS 91 1355 | ||
| 100 | 1 | |a Casley, Ross T. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On the specification of concurrent systems |c by Ross Thomas Casley |
| 246 | 1 | 3 | |a Reportnr. STAN CS 91 1355 |
| 264 | 1 | |a Stanford, Calif. |b Dep. of Computer Science, Stanford Univ. |c 1991 | |
| 300 | |a VII, 91 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Stanford University / Computer Science Department: Report STAN-CS |v 1355 | |
| 500 | |a Zugl.: Stanford, Calif., Univ., Diss., 1991 | ||
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a Computer Science Department: Report STAN-CS |t Stanford University |v 1355 |w (DE-604)BV008928280 |9 1355 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005054041 | |
Datensatz im Suchindex
| _version_ | 1820868355199860736 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Casley, Ross T. |
| author_facet | Casley, Ross T. |
| author_role | aut |
| author_sort | Casley, Ross T. |
| author_variant | r t c rt rtc |
| building | Verbundindex |
| bvnumber | BV007697985 |
| classification_rvk | SS 5200 |
| classification_tum | DAT 516d DAT 335d |
| ctrlnum | (OCoLC)606079284 (DE-599)BVBBV007697985 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV007697985</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230404</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930421s1991 xx m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)606079284</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007697985</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-355</subfield><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">STAN CS 91 1355</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Casley, Ross T.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On the specification of concurrent systems</subfield><subfield code="c">by Ross Thomas Casley</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reportnr. STAN CS 91 1355</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">Dep. of Computer Science, Stanford Univ.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 91 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="490" ind1="1" ind2=" "><subfield code="a">Stanford University / Computer Science Department: Report STAN-CS</subfield><subfield code="v">1355</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Stanford, Calif., Univ., Diss., 1991</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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="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">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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Computer Science Department: Report STAN-CS</subfield><subfield code="t">Stanford University</subfield><subfield code="v">1355</subfield><subfield code="w">(DE-604)BV008928280</subfield><subfield code="9">1355</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005054041</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV007697985 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:23:03Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005054041 |
| oclc_num | 606079284 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-91 DE-BY-TUM |
| owner_facet | DE-355 DE-BY-UBR DE-91 DE-BY-TUM |
| physical | VII, 91 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Dep. of Computer Science, Stanford Univ. |
| record_format | marc |
| series2 | Stanford University / Computer Science Department: Report STAN-CS |
| spelling | Casley, Ross T. Verfasser aut On the specification of concurrent systems by Ross Thomas Casley Reportnr. STAN CS 91 1355 Stanford, Calif. Dep. of Computer Science, Stanford Univ. 1991 VII, 91 S. txt rdacontent n rdamedia nc rdacarrier Stanford University / Computer Science Department: Report STAN-CS 1355 Zugl.: Stanford, Calif., Univ., Diss., 1991 Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Nebenläufigkeit (DE-588)4115352-2 s Softwarespezifikation (DE-588)4056186-0 s DE-604 Computer Science Department: Report STAN-CS Stanford University 1355 (DE-604)BV008928280 1355 |
| spellingShingle | Casley, Ross T. On the specification of concurrent systems Softwarespezifikation (DE-588)4056186-0 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4056186-0 (DE-588)4115352-2 (DE-588)4113937-9 |
| title | On the specification of concurrent systems |
| title_alt | Reportnr. STAN CS 91 1355 |
| title_auth | On the specification of concurrent systems |
| title_exact_search | On the specification of concurrent systems |
| title_full | On the specification of concurrent systems by Ross Thomas Casley |
| title_fullStr | On the specification of concurrent systems by Ross Thomas Casley |
| title_full_unstemmed | On the specification of concurrent systems by Ross Thomas Casley |
| title_short | On the specification of concurrent systems |
| title_sort | on the specification of concurrent systems |
| topic | Softwarespezifikation (DE-588)4056186-0 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | Softwarespezifikation Nebenläufigkeit Hochschulschrift |
| volume_link | (DE-604)BV008928280 |
| work_keys_str_mv | AT casleyrosst onthespecificationofconcurrentsystems AT casleyrosst reportnrstancs911355 |