Communicating sequential processes:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Englewood Cliffs, NJ u.a.
Prentice Hall
1985
|
| Schriftenreihe: | Prentice-Hall International series in computer science
|
| Schlagworte: | |
| Beschreibung: | VIII, 256 S. graph. Darst. |
| ISBN: | 0131532715 0131532898 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003469694 | ||
| 003 | DE-604 | ||
| 005 | 19930308 | ||
| 007 | t | ||
| 008 | 900725s1985 d||| |||| 00||| eng d | ||
| 020 | |a 0131532715 |9 0-13-153271-5 | ||
| 020 | |a 0131532898 |9 0-13-153289-8 | ||
| 035 | |a (OCoLC)11345080 | ||
| 035 | |a (DE-599)BVBBV003469694 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-739 |a DE-355 |a DE-20 |a DE-29T |a DE-91 |a DE-91G |a DE-522 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005 |2 19 | |
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 273 |0 (DE-625)143640: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 100 | 1 | |a Hoare, Charles A. R. |d 1934- |e Verfasser |0 (DE-588)119103265 |4 aut | |
| 245 | 1 | 0 | |a Communicating sequential processes |c C. A. R. Hoare |
| 264 | 1 | |a Englewood Cliffs, NJ u.a. |b Prentice Hall |c 1985 | |
| 300 | |a VIII, 256 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Prentice-Hall International series in computer science | |
| 650 | 7 | |a Parallelle verwerking |2 gtt | |
| 650 | 4 | |a Parallélisme (Informatique) | |
| 650 | 7 | |a Parallélisme (informatique) |2 ram | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a communication |2 inriac | |
| 650 | 7 | |a conception système |2 inriac | |
| 650 | 7 | |a décomposition système |2 inriac | |
| 650 | 7 | |a loi algébrique |2 inriac | |
| 650 | 7 | |a non déterminisme |2 inriac | |
| 650 | 7 | |a parallélisme |2 inriac | |
| 650 | 7 | |a partage ressource |2 inriac | |
| 650 | 7 | |a processus séquentiel |2 inriac | |
| 650 | 7 | |a processus |2 inriac | |
| 650 | 7 | |a système exploitation |2 inriac | |
| 650 | 7 | |a théorie mathématique |2 inriac | |
| 650 | 7 | |a trace |2 inriac | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 0 | 7 | |a CSP |0 (DE-588)4329097-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Paralleler Prozess |0 (DE-588)4224684-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozesskommunikation |0 (DE-588)4176067-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessdatenverarbeitung |0 (DE-588)4123996-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Paralleler Prozess |0 (DE-588)4224684-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Prozesskommunikation |0 (DE-588)4176067-0 |D s |
| 689 | 2 | 1 | |a Prozessdatenverarbeitung |0 (DE-588)4123996-9 |D s |
| 689 | 2 | 2 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 689 | 3 | 0 | |a CSP |0 (DE-588)4329097-8 |D s |
| 689 | 3 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002197485 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804117815704158208 |
|---|---|
| any_adam_object | |
| author | Hoare, Charles A. R. 1934- |
| author_GND | (DE-588)119103265 |
| author_facet | Hoare, Charles A. R. 1934- |
| author_role | aut |
| author_sort | Hoare, Charles A. R. 1934- |
| author_variant | c a r h car carh |
| building | Verbundindex |
| bvnumber | BV003469694 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 500 ST 130 ST 150 ST 230 ST 273 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)11345080 (DE-599)BVBBV003469694 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03038nam a2200805 c 4500</leader><controlfield tag="001">BV003469694</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930308 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1985 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0131532715</subfield><subfield code="9">0-13-153271-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0131532898</subfield><subfield code="9">0-13-153289-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)11345080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003469694</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-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</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 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 273</subfield><subfield code="0">(DE-625)143640:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hoare, Charles A. R.</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119103265</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating sequential processes</subfield><subfield code="c">C. A. R. Hoare</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs, NJ u.a.</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 256 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">Prentice-Hall International series in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallelle verwerking</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">communication</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décomposition système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">loi algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">non déterminisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">parallélisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">partage ressource</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus séquentiel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système exploitation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">trace</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozesskommunikation</subfield><subfield code="0">(DE-588)4176067-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Prozessdatenverarbeitung</subfield><subfield code="0">(DE-588)4123996-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Prozesskommunikation</subfield><subfield code="0">(DE-588)4176067-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Prozessdatenverarbeitung</subfield><subfield code="0">(DE-588)4123996-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002197485</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV003469694 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:00:24Z |
| institution | BVB |
| isbn | 0131532715 0131532898 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002197485 |
| oclc_num | 11345080 |
| open_access_boolean | |
| owner | DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-522 DE-83 DE-11 |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-20 DE-29T DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-522 DE-83 DE-11 |
| physical | VIII, 256 S. graph. Darst. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | Prentice Hall |
| record_format | marc |
| series2 | Prentice-Hall International series in computer science |
| spelling | Hoare, Charles A. R. 1934- Verfasser (DE-588)119103265 aut Communicating sequential processes C. A. R. Hoare Englewood Cliffs, NJ u.a. Prentice Hall 1985 VIII, 256 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Prentice-Hall International series in computer science Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) CSP (DE-588)4329097-8 gnd rswk-swf Paralleler Prozess (DE-588)4224684-2 gnd rswk-swf Prozesskommunikation (DE-588)4176067-0 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Prozessdatenverarbeitung (DE-588)4123996-9 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 s DE-604 Paralleler Prozess (DE-588)4224684-2 s Prozesskommunikation (DE-588)4176067-0 s Prozessdatenverarbeitung (DE-588)4123996-9 s Verteiltes System (DE-588)4238872-7 s 1\p DE-604 CSP (DE-588)4329097-8 s 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hoare, Charles A. R. 1934- Communicating sequential processes Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) CSP (DE-588)4329097-8 gnd Paralleler Prozess (DE-588)4224684-2 gnd Prozesskommunikation (DE-588)4176067-0 gnd Verteiltes System (DE-588)4238872-7 gnd Prozessdatenverarbeitung (DE-588)4123996-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| subject_GND | (DE-588)4329097-8 (DE-588)4224684-2 (DE-588)4176067-0 (DE-588)4238872-7 (DE-588)4123996-9 (DE-588)4075860-6 |
| title | Communicating sequential processes |
| title_auth | Communicating sequential processes |
| title_exact_search | Communicating sequential processes |
| title_full | Communicating sequential processes C. A. R. Hoare |
| title_fullStr | Communicating sequential processes C. A. R. Hoare |
| title_full_unstemmed | Communicating sequential processes C. A. R. Hoare |
| title_short | Communicating sequential processes |
| title_sort | communicating sequential processes |
| topic | Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) CSP (DE-588)4329097-8 gnd Paralleler Prozess (DE-588)4224684-2 gnd Prozesskommunikation (DE-588)4176067-0 gnd Verteiltes System (DE-588)4238872-7 gnd Prozessdatenverarbeitung (DE-588)4123996-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| topic_facet | Parallelle verwerking Parallélisme (Informatique) Parallélisme (informatique) Programmation (Informatique) communication conception système décomposition système loi algébrique non déterminisme parallélisme partage ressource processus séquentiel processus système exploitation théorie mathématique trace Computer programming Parallel processing (Electronic computers) CSP Paralleler Prozess Prozesskommunikation Verteiltes System Prozessdatenverarbeitung Parallelverarbeitung |
| work_keys_str_mv | AT hoarecharlesar communicatingsequentialprocesses |