Quantity:

More Buying Choices

29 used & new from �27.49

Have one to sell? Sell yours here

Concurrency: State Models and Java Programs (Hardcover)

by Jeff Magee (Author), Jeff Kramer (Author) "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..." (more)

4.4 out of 5 stars See all reviews (7 customer reviews)

RRP:	�34.99
Price:	�31.23 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
You Save:	�3.76 (11%)
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In stock.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

Want guaranteed delivery by Wednesday, November 18? Choose Express delivery at checkout. See Details

22 new from �29.29 7 used from �27.49

Other Editions:	RRP:	Our Price:	Other Offers:
Hardcover (Har/Cdr)			24 used & new from �4.98

Frequently Bought Together

Customers Who Bought This Item Also Bought

An Introduction to Database Systems

by C.J. Date

3.5 out of 5 stars (21) �54.59

Interaction Design: Beyond Human-computer Interaction

by Helen Sharp

3.7 out of 5 stars (6) �31.57

Object-oriented Software Construction (Prentice-Hall Resource)

by Bertrand Meyer

4.5 out of 5 stars (8) �36.47

Java Concurrency in Practice

by Brian Goetz

4.9 out of 5 stars (7) �16.46

UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design (Addison-Wesley Object Technology Series)

by Jim Arlow

5.0 out of 5 stars (1) �17.99

› Explore similar items

Product details

Hardcover: 434 pages
Publisher: John Wiley & Sons; 2nd Edition edition (21 April 2006)
Language English
ISBN-10: 0470093552
ISBN-13: 978-0470093559
Product Dimensions: 24.5 x 19.5 x 3 cm

Average Customer Review: 4.4 out of 5 stars See all reviews (7 customer reviews)

Amazon.co.uk Sales Rank: 311,708 in Books (See Bestsellers in Books)
Popular in this category:
#40 in Books > Computing & Internet > Computer Science > Architecture & Microprocessors > Microprocessors > Parallel Processing & Computing

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Product Description

Review

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

--This text refers to an out of print or unavailable edition of this title.

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.

See all Product Description

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

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)

java

What Do Customers Ultimately Buy After Viewing This Item?

	62% buy the item featured on this page: Concurrency: State Models and Java Programs 4.4 out of 5 stars (7) �31.23
	24% buy Java Concurrency in Practice 4.9 out of 5 stars (7) �16.46
	6% buy Effective Java: Second Edition 4.8 out of 5 stars (8) �17.99
	4% buy Java Generics and Collections 5.0 out of 5 stars (3) �14.93

Explore similar items

Customer Reviews

7 Reviews

5 star:		(5)
4 star:		(0)
3 star:		(2)
2 star:		(0)
1 star:		(0)

Average Customer Review

4.4 out of 5 stars (7 customer reviews)

Share your thoughts with other customers:

Create your own review

Most Helpful Customer Reviews

3 of 3 people found the following review helpful:

5.0 out of 5 stars Excellent practical introduction to concurrency, 18 May 2001

By	M Gregory - See all my reviews

This review is from: Concurrency : State Models & Java Programs (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 Comment | Permalink | Was this review helpful to you? Yes No (Report this)

3 of 3 people found the following review helpful:

3.0 out of 5 stars OK for beginners..., 18 May 2001

By	mzd99c@cs.nott.ac.uk (Nottingham, England) - See all my reviews

This review is from: Concurrency : State Models & Java Programs (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 Comment | Permalink | Was this review helpful to you? Yes No (Report this)

3 of 3 people found the following review helpful:

5.0 out of 5 stars Excellent Textbook on Concurrency Theory and Practice, 11 May 1999

By A Customer

This review is from: Concurrency : State Models & Java Programs (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 Comment | Permalink | Was this review helpful to you? Yes No (Report this)

Share your thoughts with other customers: Create your own review

› See all 7 customer reviews...

Most Recent Customer Reviews

5.0 out of 5 stars Very good service
The book has arrived promptly, its condition is perfect (as it is new). Thank you.

Published 7 months ago by Ms. B. Devenyi

5.0 out of 5 stars 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

3.0 out of 5 stars 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

5.0 out of 5 stars 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@philips.com

› See all 7 customer reviews...

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }