Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Principles of Concurrent and Distributed Programming (2nd Edition) (Prentice-Hall International Series in Computer Science)

Buy

Software today is inherently concurrent or distributed – from event-based GUI designs to operating and real-time systems to Internet applications. The new edition of this classic introduction to concurrency has been completely revised in view of the growing importance of concurrency

constructs embedded in programming languages and of formal methods

such as model checking that are widely used in industry.

The 2nd edition:

Ø     Focuses on algorithmic principles rather than language syntax;

Ø     Emphasizes the use of the Spin model checker for modeling concurrent systems and verifying program correctness;

Ø     Explains the implementation of concurrency in the Java and Ada languages.

Ø     Facilitates lab work with software tools for learning concurrent and distributed programming.

Check out the companion website for the book at www.pearson.co.uk/ben-ari  to find additional resources for both students and instructors, including source code in various languages for the programs in the book, answers to the exercises, and slides for all diagrams, algorithms and programs.

About the Author

Mordechai (Moti) Ben-Ari is an Associate Professor in the Department of Science Teaching at the Weizmann Institute of Science in Rehovot, Israel.  He is the author of texts on Ada, concurrent programming, programming languages, and mathematical logic, as well as Just a Theory: Exploring the Nature of Science.  In 2004 he was honored with the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.

(HTML tags aren't allowed.)

Embedded DSP Processor Design, Volume 2: Application Specific Instruction Set Processors (Systems on Silicon)
Embedded DSP Processor Design, Volume 2: Application Specific Instruction Set Processors (Systems on Silicon)
This book's "how-to" approach will help engineers design powerful, flexible products, while minimizing cost and power-consumption!

This book provides design methods for Digital Signal Processors and Application Specific Instruction set Processors, based on the author's extensive, industrial design experience.
...
OS X App Development with CloudKit and Swift
OS X App Development with CloudKit and Swift

This book is your step-by-step guide to learning OS X app development using CloudKit and Swift.

All the development will be done using Apple’s Swift 2 programming language. You'll see how to define data for your app and build a prototype with Sketch 3 and Keynote. Using CloudKit to store OS X application data,...

Security and Usability: Designing Secure Systems That People Can Use
Security and Usability: Designing Secure Systems That People Can Use

Human factors and usability issues have traditionally played a limited role in security research and secure systems development. Security experts have largely ignored usability issues--both because they often failed to recognize the importance of human factors and because they lacked the expertise to address them.

...

Carbon-Carbon Materials and Composites
Carbon-Carbon Materials and Composites
Carbon-carbon composites, which have been used extensively for missile applications, were a part of NASA's Apollo spacecraft heat shield system. The development of carbon-carbon materials began in 1958 and was nurtured under the U.S. Air Force space plane program, Dyna-Soar, and by numerous thermal protection systems...
Game Sound: An Introduction to the History, Theory, and Practice of Video Game Music and Sound Design
Game Sound: An Introduction to the History, Theory, and Practice of Video Game Music and Sound Design
"Collins has written a truly encyclopedic work that wonderfully complements books on sound design in film, helping anyone in the audiovisual industry who desires to expand more confidently into teaching, designing, and producing audio in the gaming world. This book provides fascinating insights about how game audio can enhance player...
Professional JavaScript for Web Developers (Wrox Programmer to Programmer)
Professional JavaScript for Web Developers (Wrox Programmer to Programmer)
This eagerly anticipated update to the breakout book on JavaScript offers you an in-depth look at the numerous advances to the techniques and technology of the JavaScript language. You'll see why JavaScript's popularity continues to grow while you delve through topics such as debugging tools in Microsoft Visual Studio, FireBug, and Drosera;...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy