Concurrency
State models and Java programs
Jeff Magee, Jeff Kramer - Collection Worldwide series in computer science
Résumé
Summary of contents
- Processes and threads
- concurrent execution
- shared objects and mutual exclusion
- monitors and condition synchronization
- deadlock
- safety and liveness properties
- model-based design
- dynamic systems
- message passing
- concurrent software architectures
- timed systems
- Appendixes: FSP language definition
- FSP formal semantics
- UML
L'auteur - Jeff Magee
Jeff Magee and Jeff Kramer are both of Imperial College of Science, Technology and Medicine, London, UK
L'auteur - Jeff Kramer
Jeff Magee and Jeff Kramer are both of Imperial College of Science, Technology and Medicine, London, UK
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Wiley |
| Auteur(s) | Jeff Magee, Jeff Kramer |
| Collection | Worldwide series in computer science |
| Parution | 19/03/1999 |
| Nb. de pages | 374 |
| Format | 229 x 152 |
| EAN13 | 9780471987109 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse