9780471987109
Concurrency: State Models & Java Programs
Jeff Magee; Jeff Kramer
ISBN 13: 9780471987109
Publisher: John Wiley & Son Ltd
Publication Date: 1999
Your Satisfaction is Guaranteed:
Concurrent programs are notoriously difficult to get right. This book provides a systematic and practical approach to designing, analysing and implementing concurrent programs. Concurrent concepts and techniques are introduced and illustrated using both state models and Java programs - enabling concurrent behaviour to be animated, mechanically analysed and then implemented in programs.
This book and accompanying CD-ROM provide you with the means for understanding the fundamentals practice of concurrency.
Topics covered include:
- Threads and interaction
- Interface, exclusion and synchronization
- Deadlock, safety and liveness properties
- Message passing
- Concurrent software architectures
- Dynamic and timed systems
The accompanying CD-ROM contains the software analysis for modelling concurrent, model animation and model checking, the full set of state models, Java examples and demonstration programs, and a comprehension series of overhead slides for course presentation.
Concurrency: State Models & Java Programs: Search Results
| 1. |
Concurrency (ISBN: 0471987107 / 0-471-98710-7) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: Softcover. Book Condition: New. Dust Jacket Condition: New. Shipped promptly and delivered within 4 to 6 working days. For PO, APO, FPO and Puerto Rico addresses delivery done in 8 to 10 working days. Thousand of satisfied customers!. Bookseller Inventory # Misc_4188_25AP_Wiley_29 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 2. |
Concurrency: State Models & Java Programs (ISBN: 0471987107 / 0-471-98710-7) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: Book Condition: New. New item. Bookseller Inventory # QX-027-70-4934404 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 3. |
Concurrency: State Models & Java Programs (ISBN: 0471987107 / 0-471-98710-7) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: Wiley, 1999. Hardcover. Book Condition: New. hardcover with CD-ROM in sealed pocket, new covers (sharp corners, bright spine titles), clean unmarked pages, binding tight as new and unread (clean page edge). . Bookseller Inventory # AJ-KY7D-QRZI Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 4. |
Concurrency State Models & Java Programs (ISBN: 0471987107 / 0-471-98710-7) Magee, Jeff;Kramer, Jeff Quantity Available: 4
Book Description: John Wiley & Sons. Book Condition: New. pp. 374. Bookseller Inventory # 7125920 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 5. |
Concurrency: State Models & Java Programs (ISBN: 0471987107 / 0-471-98710-7) Magee, Jeff;Kramer, Jeff Quantity Available: 9
Book Description: Wiley, 1999. Hardcover. Book Condition: New. Brand New! US Edition. 100% Satisfaction Guaranteed. Bookseller Inventory # LB201203608 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
Portions of this page may be (c) 2006 Muze Inc. Some database content may also be provided by Baker & Taylor Inc. Copyright 1995-2006 Muze Inc. For personal non-commercial use only. All rights reserved. Content for books is owned by Baker & Taylor, Inc. or its licensors and is subject to copyright and all other protections provided by applicable law.
Portions of this page may be Copyright VNU Entertainment Media (UK) Ltd., 2006, Georg Lingenbrink GmbH & Co., Tite Live, S.A or Informazioni Editoriali S.p.A. All rights reserved.














