Distributed programming:
Saved in:
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040512566 | ||
| 003 | DE-604 | ||
| 005 | 20130118 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 121030s2012 xx d||| o|||| 00||| eng d | ||
| 020 | |a 9781461448815 |c Online |9 978-1-4614-4881-5 | ||
| 024 | 7 | |a 10.1007/978-1-4614-4881-5 |2 doi | |
| 035 | |a (OCoLC)874199610 | ||
| 035 | |a (DE-599)BVBBV040512566 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-19 |a DE-Aug4 |a DE-92 |a DE-384 |a DE-355 |a DE-859 |a DE-634 |a DE-739 |a DE-706 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Shankar, A. Udaya |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Distributed programming |c A. Udaya Shankar |
| 264 | 1 | |a New York, NY [u.a.] |b Springer |c 2012 | |
| 300 | |a 1 Online-Ressource (XVIII, 387 S.) |b graph. Darst |c 24cm x 16 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 0 | 7 | |a Logischer Entwurf |0 (DE-588)4168051-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rechnernetz |0 (DE-588)4070085-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Rechnernetz |0 (DE-588)4070085-9 |D s |
| 689 | 0 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 2 | |a Logischer Entwurf |0 (DE-588)4168051-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-461-44880-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4614-4881-5 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025359067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025359067&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025359067 | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-Aug4 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-92 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-859 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-384 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-703 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-20 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-706 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-4881-5 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1819323842751889408 |
|---|---|
| adam_text | DISTRIBUTED PROGRAMMING
/ SHANKAR, A. UDAYA
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
SIMPLE LOCK
BOUNDED BUFFER
MESSAGE-PASSING SERVICES
FIFO CHANNELS FROM UNRELIABLE CHANNELS
PROGRAMS, SEMANTICS AND EFFECTIVE ATOMICITY
IMPLEMENTS AND COMPOSITIONALITY
SESF FOR TIME-CONSTRAINED PROGRAMS
LOCK USING PETERSON S ALGORITHM
LOCK USING THE BAKERY ALGORITHM
DISTRIBUTED LOCK SERVICE
DISTRIBUTED LOCK USING TIMESTAMPS
CHANNEL WITH TERMINATION DETECTION SERVICE
TERMINATION DETECTION FOR DIFFUSING COMPUTATIONS
OBJECT-TRANSFER SERVICE
OBJECT TRANSFER USING PATH REVERSAL
DISTRIBUTED SHARED MEMORY SERVICE
A SINGLE-COPY DISTRIBUTED SHARED MEMORY
A MULTI-COPY DISTRIBUTED SHARED MEMORY
RELIABLE TRANSPORT SERVICE
RELIABLE TRANSPORT PROTOCOL
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
DISTRIBUTED PROGRAMMING
/ SHANKAR, A. UDAYA
: 2013
ABSTRACT / INHALTSTEXT
DISTRIBUTED PROGRAMMING: THEORY AND PRACTICE PRESENTS A PRACTICAL AND
RIGOROUS METHOD TO DEVELOP DISTRIBUTED PROGRAMS THAT CORRECTLY IMPLEMENT
THEIR SPECIFICATIONS. THE METHOD ALSO COVERS HOW TO WRITE SPECIFICATIONS
AND HOW TO USE THEM. NUMEROUS EXAMPLES SUCH AS BOUNDED BUFFERS,
DISTRIBUTED LOCKS, MESSAGE-PASSING SERVICES, AND DISTRIBUTED TERMINATION
DETECTION ILLUSTRATE THE METHOD. LARGER EXAMPLES INCLUDE DATA TRANSFER
PROTOCOLS, DISTRIBUTED SHARED MEMORY, AND TCP NETWORK SOCKETS.
DISTRIBUTED PROGRAMMING: THEORY AND PRACTICE BRIDGES THE GAP BETWEEN
BOOKS THAT FOCUS ON SPECIFIC CONCURRENT PROGRAMMING LANGUAGES AND BOOKS
THAT FOCUS ON DISTRIBUTED ALGORITHMS. PROGRAMS ARE WRITTEN IN A
REAL-LIFE PROGRAMMING NOTATION, ALONG THE LINES OF JAVA AND PYTHON
WITH EXPLICIT INSTANTIATION OF THREADS AND PROGRAMS.STUDENTS AND
PROGRAMMERS WILL SEE THESE AS PROGRAMS AND NOT MERELY ALGORITHMS IN
PSEUDO-CODE. THE PROGRAMS IMPLEMENT INTERESTING ALGORITHMS AND SOLVE
PROBLEMS THAT ARE LARGE ENOUGH TO SERVE AS PROJECTS IN PROGRAMMING
CLASSES AND SOFTWARE ENGINEERING CLASSES. EXERCISES AND EXAMPLES ARE
INCLUDED AT THE END OF EACH CHAPTER WITH ON-LINE ACCESS TO THE
SOLUTIONS. DISTRIBUTED PROGRAMMING: THEORY AND PRACTICE IS DESIGNED AS
AN ADVANCED-LEVEL TEXT BOOK FOR STUDENTS IN COMPUTER SCIENCE AND
ELECTRICAL ENGINEERING. PROGRAMMERS, SOFTWARE ENGINEERS AND
RESEARCHERS WORKING IN THIS FIELD WILL ALSO FIND THIS BOOK USEFUL
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Shankar, A. Udaya |
| author_facet | Shankar, A. Udaya |
| author_role | aut |
| author_sort | Shankar, A. Udaya |
| author_variant | a u s au aus |
| building | Verbundindex |
| bvnumber | BV040512566 |
| classification_rvk | ST 230 ST 240 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)874199610 (DE-599)BVBBV040512566 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-1-4614-4881-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03288nam a2200589zc 4500</leader><controlfield tag="001">BV040512566</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130118 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">121030s2012 xx d||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461448815</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4614-4881-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4614-4881-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874199610</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040512566</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</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 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shankar, A. Udaya</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Distributed programming</subfield><subfield code="c">A. Udaya Shankar</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 387 S.)</subfield><subfield code="b">graph. Darst</subfield><subfield code="c">24cm x 16 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-461-44880-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025359067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025359067&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025359067</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-4881-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV040512566 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T16:16:34Z |
| institution | BVB |
| isbn | 9781461448815 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025359067 |
| oclc_num | 874199610 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-19 DE-BY-UBM DE-Aug4 DE-92 DE-384 DE-355 DE-BY-UBR DE-859 DE-634 DE-739 DE-706 |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-19 DE-BY-UBM DE-Aug4 DE-92 DE-384 DE-355 DE-BY-UBR DE-859 DE-634 DE-739 DE-706 |
| physical | 1 Online-Ressource (XVIII, 387 S.) graph. Darst 24cm x 16 cm |
| psigel | ZDB-2-SCS |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | Shankar, A. Udaya Distributed programming Logischer Entwurf (DE-588)4168051-0 gnd Rechnernetz (DE-588)4070085-9 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4168051-0 (DE-588)4070085-9 (DE-588)4116521-4 |
| title | Distributed programming |
| title_auth | Distributed programming |
| title_exact_search | Distributed programming |
| title_full | Distributed programming A. Udaya Shankar |
| title_fullStr | Distributed programming A. Udaya Shankar |
| title_full_unstemmed | Distributed programming A. Udaya Shankar |
| title_short | Distributed programming |
| title_sort | distributed programming |
| topic | Logischer Entwurf (DE-588)4168051-0 gnd Rechnernetz (DE-588)4070085-9 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Logischer Entwurf Rechnernetz Software Engineering |
| url | https://doi.org/10.1007/978-1-4614-4881-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025359067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025359067&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT shankaraudaya distributedprogramming |