9780470093559
Concurrency: State Models & Java Programs
Jeff Magee; Jeff Kramer
ISBN 13: 9780470093559
Publisher: John Wiley & Sons Inc
Publication Date: 2006
Binding: Hardcover
Your Satisfaction is Guaranteed:
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.
Concurrency: State Models & Java Programs: Search Results
| 1. |
Concurrency: State Models and Java Programs (Hardback) (ISBN: 9780470093559) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: John Wiley and Sons Ltd, United Kingdom, 2006. Hardback. Book Condition: New. Desktop ed. 238 x 195 mm. Brand New Book with Free Worldwide Delivery. 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. Bookseller Inventory # AAZ9780470093559 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From United Kingdom to U.S.A. |
||
| 2. |
Concurrency (ISBN: 9780470093559) Magee, Jeff;Kramer, Jeff Quantity Available: 2
Book Description: John Wiley and Sons, 2006. Hardback. Book Condition: New. New book. Shipped from UK. Bookseller Inventory # FW-9780470093559 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 3. |
Concurrency (ISBN: 9780470093559) Magee, Jeff;Kramer, Jeff Quantity Available: 2
Book Description: Wiley, 2006. Hardback. Book Condition: New. New book. Shipped from UK. Bookseller Inventory # GB-9780470093559 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 4. |
Concurrency (ISBN: 9780470093559) Magee, Jeff;Kramer, Jeff Quantity Available: 2
Book Description: John Wiley and Sons, 2006. Hardback. Book Condition: New. New book. Shipped from UK. Bookseller Inventory # FW-9780470093559 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 14.10
From United Kingdom to U.S.A. |
||
| 5. |
Concurrency State Models and Java Programs: (ISBN: 0470093552 / 0-470-09355-2) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: John Wiley and Sons Ltd Country = UNITED KINGDOM, 2006. Hardback. Book Condition: New. Desktop ed. 434 pages. 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. Illustrations (some col.) Edition Desktop ed. (Hardback). Bookseller Inventory # AB0470093552 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 6. |
Concurrency: State Models and Java Programs, 2nd Edition (ISBN: 0470093552 / 0-470-09355-2) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: Wiley Chichester, 2006. Hardback. Book Condition: New. 237 by 197 mm. Concurrency provides a thoroughly updatedapproach 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 topicMagee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combineto provide problem patterns and associated solution techniqueswhich enablestudents torecognise 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. Edition 2 (Hardback). Bookseller Inventory # AC0470093552 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 8.87
From United Kingdom to U.S.A. |
||
| 7. |
Concurrency (ISBN: 9780470093559) Magee, Jeff;Kramer, Jeff Quantity Available: 10
Book Description: John Wiley & Sons Ltd, Chichester, 2006. Book Condition: New. Bookseller Inventory # 4412605 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 0.00
From Italy to U.S.A. |
||
| 8. |
Concurrency - State Models and Java Programs 2e (ISBN: 0470093552 / 0-470-09355-2) Magee, Jeff;Kramer, Jeff Quantity Available: 10
Book Description: Book Condition: New. Bookseller Inventory # 2103800-n Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 9. |
Concurrency: State Models & Java Programs (ISBN: 0470093552 / 0-470-09355-2) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: 2006. Hardcover. Book Condition: New. 2nd. 193mm x 29mm x 236mm. 413 pages. 1.034. Bookseller Inventory # 9780470093559 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
|||
| 10. |
Concurrency (ISBN: 9780470093559) Magee, Jeff;Kramer, Jeff Quantity Available: 1
Book Description: 406. Book Condition: New. Bookseller Inventory # GA9780470093559 Bookseller & Payment Information | More Books from this Seller | Ask Bookseller a Question |
Shipping:
US$ 5.01
From Germany to U.S.A. |
||
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.
