Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Concurrency State Models and Java Programs

Name: Concurrency State Models and Java Programs
Price: $60.63 USD
Availability: InStock
ISBN: 9780470093559

by Magee, Jeff; Kramer, Jeff

ISBN13:
9780470093559
ISBN10:
0470093552
Edition: 2nd
Format: Hardcover
Copyright: 2006-06-16
Publisher: WILEY
More Book Details

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

Free Shipping On Orders Over $35!

Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
Get Rewarded for Ordering Your Textbooks! Enroll Now
Customer Reviews Read Reviews
Write a Review
Concurrency State Models and Java Programs > ISBN13: 9780470093559

List Price: ~~$84.21~~ Save up to $53.01

Rent Book

$48.00

More Prices

Rent Book $48.00

Add to Cart Free Shipping

TERM

PRICE

DUE

Semester

$50.53

Dec 12

Quarter

$48.00

Aug 13

Short Term

$45.48

Jul 24

USUALLY SHIPS IN 24-48 HOURS

*This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

Buy Used

$60.63

Buy Used
$60.63

Add to Cart Free Shipping

USUALLY SHIPS IN 24-48 HOURS

Buy New

$84.13

Buy New
$84.13

Add to Cart Free Shipping

USUALLY SHIPS IN 24-48 HOURS

Digital

$77.22*

More Prices

Digital
$77.22*

Add to Cart

DURATION

PRICE

Online: 90 Days

Downloadable: 90 Days - VitalSource

$51.20*

Online: 150 Days

Downloadable: 150 Days - VitalSource

$31.20*

Online: 180 Days

Downloadable: 180 Days - VitalSource

$77.22*

Online: 1825 Days

Downloadable: Lifetime Access - VitalSource

$73.14*

*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Marketplace

$5.50

More Prices

How To: Textbook Rental

Looking to rent a book? Rent Concurrency State Models and Java Programs [ISBN: 9780470093559] for the semester, quarter, and short term or search our site for other textbooks by Magee, Jeff; Kramer, Jeff. Renting a textbook can save you up to 90% from the cost of buying.

Summary

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.

Author Biography

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

Introduction	p. 1
Processes and threads	p. 11
Concurrent execution	p. 37
Shared objects and mutual exclusion	p. 63
Monitors and condition synchronization	p. 79
Deadlock	p. 107
Safety and liveness properties	p. 123
Model-based design	p. 159
Dynamic systems	p. 183
Message passing	p. 209
Concurrent architectures	p. 237
Timed systems	p. 277
Program verification	p. 319
Logical properties	p. 345
FSP quick reference	p. 367
FSP language specification	p. 371
FSP semantics	p. 389
UML class diagrams	p. 399
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.