| ||||||||||||
 Trade In this Item for up to £8.10
Trade in Concurrency: State Models and Java Programs for an Amazon.co.uk gift card of up to £8.10, which you can then spend on millions of items across the site. Plus, get an extra £5 when you trade in books worth £10 or more until June 30, 2012. Trade-in values may vary (terms apply). Find more products eligible for trade-in.
|
Frequently Bought Together
Product details
|
More About the Author
Product Description
Review
..."this well written book [...] will be useful to those designing distributed systems"
--Computing Reviews, June 2000
--Computing Reviews, June 2000
Product Description
Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions.
New features include:
- New chapters covering program verification and logical properties.
- More student exercises.
- Supporting website contains an updated version of the LTSA tool for modelling concurrency, model animation, and model checking.
- Website also includes the full set of state models, java examples, and demonstration programs and a comprehensive set of overhead slides for course presentation.
Inside This Book
(Learn More)
First Sentence
Between June 1985 and January 1987, a computerized radiation therapy machine called Therac-25 caused six known accidents involving massive overdoses with resultant deaths and serious injuries. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index
Between June 1985 and January 1987, a computerized radiation therapy machine called Therac-25 caused six known accidents involving massive overdoses with resultant deaths and serious injuries. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product)
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
What Other Items Do Customers Buy After Viewing This Item?
Customer Reviews
Most Helpful Customer Reviews
3 of 3 people found the following review helpful
Format:Hardcover
The authors have taken a very practical, visual approach to the subject-and it works well. The various features are explained fully in the text and are graphically illustrated as applets on the supplied disc. This book is a good 'read' and thought has gone into keeping the reader interested in this tricky subject. It has been a welcome ally to help me deal with the set book for the OU course M301. This book is money well spent.
3 of 3 people found the following review helpful
Format:Hardcover
I bought this bought to aid my studies for a concurrency course at university. The book is well written and does explain things very well, although it did not go into enough depth that I needed for the course. It missed out some of the fundamental issues of concurrency, such as Dekker's Algorithm. This book is fine for beginners, or indeed people who want to program concurrently in Java, without much background knowledge. To be honest I was a bit disappointed.
3 of 3 people found the following review helpful
Format:Hardcover
I have used Magee and Kramer's book (or rather their manuscript) twice in the UG programme of the Dept. of Computer Science at University College London. I used it to teach a 30 hours course on Concurrency to final year BSc students in Computer Science.
The book is very appealing for several reasons:
Firstly, it is the only available book that provides an engineering discipline to concurrency. It covers both a sound introduction to the theory of concurrency and practical guidelines how to design concurrent programs using the UML and Java.
Secondly, the book is nicely written indeed. The concepts are well motivated, the intriguingly difficult theory of concurrency is well explained and the book is full of examples that show both theory and practice of Concurrency.
Thirdly, the book is not only a book; it's a nicely boundled package. It comes with Java demonstration applets that I used to visualize concurrency concepts, such as Monitors, Mutual Exclusion and Fairness in the class room. Moreover, the book includes a CD with a tool that students (and professors) can use for modelling and model checking purposes. The tool implements labelled transition systems analysis and supports visualization of label transition system execution.
Finally the web site that accompanies the book is full of exercises and exam questions and model answers are available too.
Using this material was a truly positive experience.
Would you like to see more reviews about this item?
Were these reviews helpful?
Let us know
Most Recent Customer Reviews
I wonder why the contents are all up-side down?
Hello, I have just received the book but all the contents in the book are upside down. Can I change to a new one?
Published 4 months ago by CHO YIU AU
Very good service
The book has arrived promptly, its condition is perfect (as it is new). Thank you.
Published on 6 April 2009 by Ms. B. Devenyi
Good lecturer
I remember well my lectures at Imperial College with Jeff Magee. He was one of only a few that I actually paid any attention to at all. Read more
Published on 22 Mar 2008 by A Customer
I love this book!
This book is beautifully written and the combined FSP/Java approach to model-based development is leading-edge. Read more
Published on 8 Sep 2006 by Reviewer
good book lacks in code examples
I bought this book as a textbook for a concurrency module in the university. It explains the theory very well but when it comes to the coding it doesn't explain anything. Read more
Published on 28 Nov 2003
Excellent illustration of an otherwise complex subject
I think that Kramer/Magee's book is by far the best available textbook for anyone designing software that includes concurrent processes. Read more
Published on 19 Mar 2002 by YOAV YANAI
Listmania!
Look for similar items by category
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
