Concurrency: State Models and Java Programs and over 2 million other books are available for Amazon Kindle . Learn more
FREE Delivery in the UK.
Only 5 left in stock (more on the way).
Dispatched from and sold by Amazon.
Gift-wrap available.
Quantity:1
Concurrency: State Models... has been added to your Basket
Condition: Used: Good
Comment: Used Good condition book may have signs of cover wear and/or marks on corners and page edges. Inside pages may have highlighting, writing and underlining. All purchases eligible for Amazon customer service and a 30-day return policy.
Trade in your item
Get a £22.80
Gift Card.
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

Concurrency: State Models and Java Programs Hardcover – 21 Apr 2006

9 customer reviews

See all 4 formats and editions Hide other formats and editions
Amazon Price New from Used from
Kindle Edition
"Please retry"
Hardcover
"Please retry"
£47.99
£35.54 £35.52
£47.99 FREE Delivery in the UK. Only 5 left in stock (more on the way). Dispatched from and sold by Amazon. Gift-wrap available.

Frequently Bought Together

Concurrency: State Models and Java Programs + Computer Graphics with Open GL + Interaction Design: Beyond Human-Computer Interaction
Price For All Three: £159.97

Buy the selected items together


Trade In this Item for up to £22.80
Trade in Concurrency: State Models and Java Programs for an Amazon Gift Card of up to £22.80, which you can then spend on millions of items across the site. Trade-in values may vary (terms apply). Learn more

Product details


More About the Author

Discover books, learn about writers, and more.

Product Description

Review

..."this well written book [...] will be useful to those designing distributed systems" --Computing Reviews, June 2000

From the Back Cover

I love this book! It is beautifully written and the combinedFSP/Java approach to model–based development is leading–edge. The supporting materials, including the LTSA software and thelecture slides, are superb. ( Scott Smolka, SUNY at StonyBrook)

This book provides a systematic and practical approach todesigning, analyzing and implementing concurrent programs, usingboth state models and Java programs to introduce and illustrate keyconcepts and techniques. Topics covered include:

  • threads and interaction
  • interference, exclusion and synchronization
  • deadlock, safety and liveness properties
  • message passing
  • concurrent software architectures
  • dynamic and timed systems.

Established as a key learning resource for computer sciencegraduate and undergraduate students, this second edition includesnew coverage of Program Verification and Logical Properties. Theaccompanying website contains an updated version of the LTSA toolfor modeling concurrency, model animation and model checking. Thewebsite also includes the full set of state models, Java examplesand demonstration programs and a comprehensive series of overheadslides for course presentation.

Ideal for classroom use or self–study, this book providesreaders with the means to understand the fundamentals and practiceof concurrency.


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
Explore More
Concordance
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index
Search inside this book:

What Other Items Do Customers Buy After Viewing This Item?

Customer Reviews

4.2 out of 5 stars
Share your thoughts with other customers

Most Helpful Customer Reviews

3 of 3 people found the following review helpful By A Customer on 11 May 1999
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
3 of 3 people found the following review helpful By mzd99c@cs.nott.ac.uk on 18 May 2001
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
3 of 3 people found the following review helpful By M Gregory on 18 May 2001
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
2 of 3 people found the following review helpful By Reviewer on 8 Sept. 2006
Format: Hardcover
This book is beautifully written and the combined FSP/Java approach to model-based development is leading-edge. The supporting materials, including the LTSA software and the lecture slides, are superb.

Scott Smolka, SUNY at Stony Brook
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 1 people found the following review helpful By A Customer on 22 Mar. 2008
Format: Hardcover
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.

I bought the book - but like every book I bought at university I only read them a little.

My 5 stars are mainly given as he was a good lecturer and used many of his java examples in lectures - therefore he deserves the boost to his rating!
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again


Feedback