Concurrency: State Models and Java Programs

3,44 valoración promedio
( 16 valoraciones por Goodreads )
 
9780470093559: Concurrency: State Models and Java Programs

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.

   

"Sinopsis" puede pertenecer a otra edición de este libro.

From the Back 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.

About the Author:

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

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 21,40
De Estados Unidos de America a España

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Jeff Kramer and Jeff Magee
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Cantidad: 1
Librería
Castle Rock
(Pittsford, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: Brand New. Book Condition: Brand New. Nº de ref. de la librería 97804700935591.0

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 21,14
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 21,40
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

2.

Jeff Magee, Jeff Kramer
Editorial: Wiley 2006-04-21, Chichester (2006)
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Tapa dura Cantidad: 5
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Wiley 2006-04-21, Chichester, 2006. hardback. Estado de conservación: New. Nº de ref. de la librería 9780470093559

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 46,19
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,23
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Jeff Magee; Jeff Kramer
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Tapa dura Cantidad: 1
Librería
AMAZINGBOOKDEALS
(IRVING, TX, Estados Unidos de America)
Valoración
[?]

Descripción Hardcover. Estado de conservación: BRAND NEW. BRAND NEW. Fast Shipping. Prompt Customer Service. Satisfaction guaranteed. Nº de ref. de la librería 0470093552BNA

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 15,51
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 34,24
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

4.

Jeff Magee, Jeff Kramer
Editorial: John Wiley and Sons Ltd, United Kingdom (2006)
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción John Wiley and Sons Ltd, United Kingdom, 2006. Hardback. Estado de conservación: New. Desktop ed.. Language: English . Brand New Book. 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. Nº de ref. de la librería AAZ9780470093559

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 50,99
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

5.

Jeff Magee,Jeff Kramer
Editorial: - -
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Tapa dura Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción - -. Hardcover. Estado de conservación: New. Nº de ref. de la librería NU-GRD-03072146

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 47,76
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,33
De Reino Unido a España
Destinos, gastos y plazos de envío

6.

Jeff Magee, Jeff Kramer
Editorial: John Wiley and Sons Ltd, United Kingdom (2006)
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción John Wiley and Sons Ltd, United Kingdom, 2006. Hardback. Estado de conservación: New. Desktop ed.. Language: English . Brand New Book. 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. Nº de ref. de la librería AAZ9780470093559

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 51,25
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

7.

Jeff Magee
Editorial: John Wiley and#38; Sons (2006)
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Cantidad: 14
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción John Wiley and#38; Sons, 2006. HRD. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería FW-9780470093559

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 42,49
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,91
De Reino Unido a España
Destinos, gastos y plazos de envío

8.

Magee, Jeff; Kramer, Jeff
Editorial: John Wiley and Sons Ltd (2006)
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Tapa dura Cantidad: 11
Librería
Valoración
[?]

Descripción John Wiley and Sons Ltd, 2006. Estado de conservación: New. 2006. 2nd Edition. Hardcover. 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. Num Pages: 434 pages, Illustrations (some col.). BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 243 x 190 x 30. Weight in Grams: 986. . . . . . . Nº de ref. de la librería V9780470093559

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 57,73
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda a España
Destinos, gastos y plazos de envío

9.

Jeff Magee, Jeff Kramer
Editorial: John Wiley and Sons Ltd
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Tapa dura Cantidad: 5
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción John Wiley and Sons Ltd. Hardback. Estado de conservación: new. BRAND NEW, Concurrency: State Models and Java Programs (Desktop ed.), Jeff Magee, Jeff Kramer, 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. Nº de ref. de la librería B9780470093559

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 51,29
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 7,75
De Reino Unido a España
Destinos, gastos y plazos de envío

10.

Jeff Magee; Jeff Kramer
ISBN 10: 0470093552 ISBN 13: 9780470093559
Nuevos Cantidad: 11
Librería
BWB
(Valley Stream, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Depending on your location, this item may ship from the US or UK. Nº de ref. de la librería 97804700935590000000

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 60,05
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda