Humanities & Social Sciences
Math & Science
Professional & Career
- Business
- Business Statistics
- Communication Sciences & Disorders
- Computer Science
- Counseling
- Criminal Justice
- Culinary, Hospitality, Travel & Tourism
- Deaf Studies & Deaf Education
- Economics
- Education
- EMS & Fire Science (Brady)
- Engineering
- Fashion & Interior Design
- Health Professions
- Information Technology
- Legal Studies & Paralegal
- Nursing
- Student Success & Career Development
- Trades & Technology
Principles of Concurrent and Distributed Programming, 2/E
ISBN-10: 032131283X
ISBN-13: 9780321312839
Publisher: Addison-Wesley
Copyright: 2006
Format: Paper; 384 pp
Published: 02/24/2006
Status: Instock
Customers outside the U.S., click here.
Description
Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems.
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.
Features
§ A companion website at www.pearson.co.uk/ben-ari with 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.
New To This 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.
Table of Contents
See author proposal above for provisional T.O.C.
Author Bios
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.
Backcover Copy
Final Cover Copy – Ben-Ari
Principles of Concurrent and
Distributed Programming
2nd Edition
M. Ben-Ari
The latest edition of a classic text from a winner of the ACM/SIGCSE
Award for Outstanding Contribution to Computer Science Education.
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.
Log in to the Instructor Resource Center
Login name:
Password:
Forgot login/password? | Need to redeem an access code?
Instructor Resource Center File Download
This work is protected by local and international copyright laws and is provided solely for the use of instructors in teaching their courses and assessing student learning. Dissemination or sale of any part of this work (including on the World Wide Web) will destroy the integrity of the work and is not permitted. The work and materials from this site should never be made available to students except by instructors using the accompanying text in their classes. All recipients of this work are expected to abide by these restrictions and to honor the intended pedagogical purposes and the needs of other instructors who rely on these materials.| Cancel | I accept, proceed with download |
Pearson Higher Education offers special pricing when you choose to package your text with other student resources. If you're interested in creating a cost-saving package for your students, browse our available packages below, or contact your Pearson Higher Education representative to create your own package.
Package ISBN-10: 013715741X | ISBN-13: 9780137157419
©2006 | Out of Stock
Suggested retail price: $199.47 Buy from myPearsonStore
This package contains:
Holzmann | ©2004 | Addison-Wesley | Cloth; 608 pp
