000			02221cam a22002537i 4500
008			120727t20132013nyua b 001 0 eng d
020			_a9781461448808 (alk. paper)
020			_a1461448808 (alk. paper)
082	0	4	_a005.1 _bSHA
100	1		_aShankar, A. Udaya.
245	1	0	_aDistributed programming : _btheory and practice / _cA. Udaya Shankar.
260			_aNew York _bSpringer _cc 2013
300			_axviii, 383 pages : _billustrations ; _c25 cm
504			_aIncludes bibliographical references and index.
520			_aDistributed 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--
600			_aComputer Science
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aLogic design.
650		7	_aComputer science. _2fast
650		7	_aLogic design. _2fast
650		7	_aSoftware engineering. _2fast
942			_cBK
999			_c62202 _d62202