228,96 €
Produit Neuf
Ou 57,24 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781402070433_dbm
Nos autres offres
-
235,83 €
Produit Neuf
Ou 58,96 € /mois
- Livraison : 3,99 €
- Livré entre le 25 et le 31 juillet
Voir le détail de l'annonce -
253,99 €
Produit Neuf
Ou 63,50 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Concurrency In Dependable Computing de Collectif - Livre
0 avis sur Concurrency In Dependable Computing de Collectif - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Concurrency In Dependable Computing de Collectif
- Livre
Résumé :
..
Sommaire:
Introduction. Preface. Part I: Role of Modelling and Formalisms for Dependable System Design. 1. Compositional Development in the Event of Interface Difference; J. Burton, et al. 2. Model-Based Design of Dependability; A. Arora, et al. 3. TLA Specification of a Mechanism for Concurrent Exception Handling; A.F. Zorzo, et al. 4. Component Based Dependable System Modelling for Easier Verification; D. Buchs, et al. Part II: Application Specific Modelling for Dependable Design and Analysis. 5. Digging into Concurrency; A. Chandler, et al. 6. Deadlock Free Control in Automated Guided Vehicle Systems; M.P. Fanti. 7. Quality Analysis of Dependable Information Systems; A. Zarras, V Issarny. Part III: Event Ordering and its Application. 8. Fault-Tolerant Sequencer; R. Baldoni, et al. 9. QoS Analysis of Group Communication Protocols in Wireless Environment; A. Bondavalli, et al. 10. Semantically Reliable Broadcast; J. Pereira, et al. 11. Exception Handling in Timed Asynchronous Systems; R. Miller, A. Tripathi. Part IV: Transactions and Consistent Checkpointing. 12. A Recovery Model for Cooperative Computations; E. Nett, M. Mock. 13. Group Transactions; M. Pati?o-Mart?nez, et al. 14. Checkpointing in Distributed Computing Systems; L. Kumar, et al. Part V: Concurrency in Real-Time Applications. 15. Concurrency in Time Triggered Message-Triggered Objects with Service Time Guarantees; K.H. (Kane) Kim.
Détails de conformité du produit
Personne responsable dans l'UE