Distributed Programming: Theory and Practice

3 avg rating
( 3 ratings by Goodreads )
 
9781461448808: Distributed Programming: Theory and Practice
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Review:

From the reviews:

“This book is about how to write software for distributed systems while ensuring correctness. ... This book intends to come out with a practical methodology for writing correct parallel programs. ... The text covers most of the classic parallel programming topics like lock, message passing, bounded buffers, etc. It is addressed to researchers and students in parallel computing and can also be used by software professionals as a hands on writing correct parallel software.” (Corneliu Bârsan, zbMATH, Vol. 1276, 2014)

“As a textbook, it presents a thorough introduction to distributed programming in a language-agnostic framework based on assertional reasoning and supported by temporal logic. ... As a reference book, Distributed Programming provides a set of fundamental concepts and their applications in a compact, straightforward format. The formalism introduced in the book is easy to grasp and provides a good template for language independence ... . Summing Up: Recommended. Upper-division undergraduates, graduate students, researchers/faculty, and professionals.” (L. Benedicenti, Choice, Vol. 51 (1), September, 2013)

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 74.99
US$ 23.79

Convert Currency

Shipping: US$ 9.88
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

9781489995933: Distributed Programming: Theory and Practice

Featured Edition

ISBN 10:  1489995935 ISBN 13:  9781489995933
Publisher: Springer, 2014
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Shankar, A. Udaya
Published by Springer-Verlag New York Inc (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: 1
Print on Demand
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc, 2012. Hardcover. Condition: Brand New. 383 pages. 9.25x6.25x1.00 inches. This item is printed on demand. Seller Inventory # zk1461448808

More information about this seller | Contact this seller

Buy New
US$ 23.79
Convert Currency

Add to Basket

Shipping: US$ 9.88
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

A. Udaya Shankar
Published by Springer-Verlag New York Inc., United States (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2012. Hardback. Condition: New. 2013 ed.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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. Seller Inventory # LIE9781461448808

More information about this seller | Contact this seller

Buy New
US$ 74.23
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

A. Udaya Shankar
Published by Springer-Verlag New York Inc. (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag New York Inc., 2012. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781461448808

More information about this seller | Contact this seller

Buy New
US$ 71.24
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

A. Udaya Shankar
Published by Springer (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2012. Condition: New. book. Seller Inventory # M1461448808

More information about this seller | Contact this seller

Buy New
US$ 78.17
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

A. Udaya Shankar
Published by Springer (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2012. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9781461448808

More information about this seller | Contact this seller

Buy New
US$ 81.48
Convert Currency

Add to Basket

Shipping: US$ 3.46
From Germany to U.S.A.
Destination, Rates & Speeds

6.

A. UDAYA SHANKAR
Published by Springer (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. Hardback. Condition: NEW. 9781461448808 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0305223

More information about this seller | Contact this seller

Buy New
US$ 74.63
Convert Currency

Add to Basket

Shipping: US$ 10.54
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Shankar, A. Udaya
Published by Springer (2018)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: > 20
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Springer, 2018. Hardcover. Condition: New. Never used! This item is printed on demand. Seller Inventory # 1461448808

More information about this seller | Contact this seller

Buy New
US$ 87.55
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Shankar, A. Udaya
Published by Springer-Verlag New York Inc. (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., 2012. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781461448808

More information about this seller | Contact this seller

Buy New
US$ 80.30
Convert Currency

Add to Basket

Shipping: US$ 11.86
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

A. Udaya Shankar
Published by Springer-Verlag New York Inc., United States (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2012. Hardback. Condition: New. 2013 ed.. Language: English . Brand New Book ***** Print on Demand *****. 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. Seller Inventory # APC9781461448808

More information about this seller | Contact this seller

Buy New
US$ 93.35
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

A. Udaya Shankar
Published by Springer-Verlag New York Inc., United States (2012)
ISBN 10: 1461448808 ISBN 13: 9781461448808
New Hardcover Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2012. Hardback. Condition: New. 2013 ed.. Language: English . Brand New Book ***** Print on Demand *****.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. Seller Inventory # APC9781461448808

More information about this seller | Contact this seller

Buy New
US$ 95.36
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book