On Concurrent Programming

On Concurrent Programming
Author: Fred B. Schneider
Publisher: Springer Science & Business Media
Total Pages: 482
Release: 2012-12-06
Genre: Computers
ISBN: 1461218306


Download On Concurrent Programming Book in PDF, Epub and Kindle

Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emphasises the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition, while exercises at the end of each chapter extend and illustrate the main themes covered. As a result, all those interested in studying concurrent computing will find this an invaluable approach to the subject.


On Concurrent Programming
Language: en
Pages: 482
Authors: Fred B. Schneider
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent
Concurrent Programming: Algorithms, Principles, and Foundations
Language: en
Pages: 530
Authors: Michel Raynal
Categories: Computers
Type: BOOK - Published: 2012-12-30 - Publisher: Springer Science & Business Media

GET EBOOK

This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entit
Concurrent Programming on Windows
Language: en
Pages: 1421
Authors: Joe Duffy
Categories: Computers
Type: BOOK - Published: 2008-10-28 - Publisher: Pearson Education

GET EBOOK

“When you begin using multi-threading throughout an application, the importance of clean architecture and design is critical. . . . This places an emphasis on
Parallel and Concurrent Programming in Haskell
Language: en
Pages: 322
Authors: Simon Marlow
Categories: Computers
Type: BOOK - Published: 2013-07-12 - Publisher: "O'Reilly Media, Inc."

GET EBOOK

If you have a working knowledge of Haskell, this hands-on book shows you how to use the language’s many APIs and frameworks for writing both parallel and conc
The Origin of Concurrent Programming
Language: en
Pages: 532
Authors: Per Brinch Hansen
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

GET EBOOK

An essential reader containing 19 important papers on the invention and early development of concurrent programming and its relevance to computer science and co