Skip to content

Concurrency: State Models & Java Programs
Stock Photo: Cover May Be Different

Concurrency: State Models & Java Programs Hardcover - 2006

by Jeff Magee; Jeff Kramer


First line

HASH(0x110b0700)

From the rear cover

'I love this book! It 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)

This book provides a systematic and practical approach to designing, analyzing and implementing concurrent programs, using both state models and Java programs to introduce and illustrate key concepts 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 science graduate and undergraduate students, this second edition includes new coverage of Program Verification and Logical Properties. The accompanying website contains an updated version of the LTSA tool for modeling concurrency, model animation and model checking. The website also includes the full set of state models, Java examples and demonstration programs and a comprehensive series of overhead slides for course presentation.

Ideal for classroom use or self-study, this book provides readers with the means to understand the fundamentals and practice of concurrency.

Details

  • Title Concurrency: State Models & Java Programs
  • Author Jeff Magee; Jeff Kramer
  • Binding Hardcover
  • Edition 2nd Edition
  • Pages 432
  • Volumes 1
  • Language ENG
  • Publisher Wiley, Chichester, UK
  • Date July 5, 2006
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • ISBN 9780470093559 / 0470093552
  • Weight 2.28 lbs (1.03 kg)
  • Dimensions 9.28 x 7.6 x 1.15 in (23.57 x 19.30 x 2.92 cm)
  • Library of Congress subjects Java (Computer program language), Parallel programming (Computer science)
  • Library of Congress Catalog Number 2006004540
  • Dewey Decimal Code 005.275

About the author

Jeff Magee and Jeff Kramer are both of Imperial College of Science, Technology and Medicine, London, UK
Back to Top

More Copies for Sale

Concurrency: State Models and Java Programs, 2nd Edition (No Longer Used)

Concurrency: State Models and Java Programs, 2nd Edition (No Longer Used)

by Kramer, Jeff

  • Used
  • Very Good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
GORING BY SEA, West Sussex, United Kingdom
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$3.23
$11.03 shipping to USA

Show Details

Description:
Hardback. Very Good.
Item Price
$3.23
$11.03 shipping to USA
Concurrency: State Models and Java Programs

Concurrency: State Models and Java Programs

by Magee, Jeff; Kramer, Jeff

  • Used
  • Good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
2
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$6.76
FREE shipping to USA

Show Details

Description:
Wiley, 2006. Hardcover. Good. Disclaimer:A copy that has been read, but remains in clean condition. All pages are intact, and the cover is intact. The spine may show signs of wear. Pages can include limited notes and highlighting, and the copy can include previous owner inscriptions. At ThriftBooks, our motto is: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$6.76
FREE shipping to USA
Concurrency : State Models and Java Programs

Concurrency : State Models and Java Programs

by Jeff Magee; Jeff Kramer

  • Used
  • Very Good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$6.76
FREE shipping to USA

Show Details

Description:
Wiley & Sons, Incorporated, John, 2006. Hardcover. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$6.76
FREE shipping to USA
Concurrency : State Models and Java Programs
Stock Photo: Cover May Be Different

Concurrency : State Models and Java Programs

by Kramer, Jeff, Magee, Jeff

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
2
Seller
Dunfermline, Fife, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$7.41
$10.00 shipping to USA

Show Details

Description:
Wiley & Sons, Incorporated, John. Used - Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
$7.41
$10.00 shipping to USA
Concurrency: State Models and Java Programs
Stock Photo: Cover May Be Different

Concurrency: State Models and Java Programs

by Magee, Jeff

  • Used
  • Hardcover
Condition
Used: Good
Edition
2
Binding
Hardcover
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$10.80
FREE shipping to USA

Show Details

Description:
Wiley, 2006-06-16. 2. hardcover. Used: Good.
Item Price
$10.80
FREE shipping to USA
Concurrency : State Models and Java Programs
Stock Photo: Cover May Be Different

Concurrency : State Models and Java Programs

by Kramer, Jeff, Magee, Jeff

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$13.05
FREE shipping to USA

Show Details

Description:
Wiley & Sons, Incorporated, John. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
$13.05
FREE shipping to USA
Concurrency: State Models and Java Programs
Stock Photo: Cover May Be Different

Concurrency: State Models and Java Programs

by Magee, Jeff, Kramer, Jeff

  • Used
Condition
Used - Good
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
Waltham Abbey, Essex, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$18.91
$11.52 shipping to USA

Show Details

Description:
Wiley. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Item Price
$18.91
$11.52 shipping to USA
Concurrency: State Models and Java Programs
Stock Photo: Cover May Be Different

Concurrency: State Models and Java Programs

by Jeff Magee et Jeff Kramer

  • Used
  • Very Good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
Morangis, France
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$24.16
$12.00 shipping to USA

Show Details

Description:
John Wiley & Sons, 2006. Hardcover. Very Good. Slight signs of wear on the cover. Edition 2006. Ammareal gives back up to 15% of this book's net price to charity organizations.
Item Price
$24.16
$12.00 shipping to USA
Concurrency: State Models and Java Programs
Stock Photo: Cover May Be Different

Concurrency: State Models and Java Programs

by Magee, Jeff

  • Used
  • Good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
Newport Coast, California, United States
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$41.50
FREE shipping to USA

Show Details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
$41.50
FREE shipping to USA
Concurrency: State Models and Java Programs
Stock Photo: Cover May Be Different

Concurrency: State Models and Java Programs

by Magee, Jeff; Kramer, Jeff

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780470093559 / 0470093552
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$80.09
$5.45 shipping to USA

Show Details

Description:
Wiley, 2006-06-16. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$80.09
$5.45 shipping to USA