Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Concurrency In Dependable Computing Format Broché - Livre Informatique

Note : 0 0 avis sur Concurrency In Dependable Computing Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Concurrency In Dependable Computing Format Broché
- Livre Informatique

Livre Informatique - 01/10/2010 - Broché - Langue : Anglais

Editeur : Springer Us, New York, N.Y.

Langue : Anglais

Parution : 01/10/2010

Format : Moyen, de 350g à 1kg

Nombre de pages : 332

Expédition : 505

Dimensions : 23.5 x 15.5 x 1.9

ISBN : 1441952780

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Concurrency in Dependable Computing -

Avis sur Concurrency In Dependable Computing Format Broché - Livre Informatique

Présentation Concurrency In Dependable Computing Format Broché - Livre Informatique

Présentation Concurrency In Dependable Computing Format Broché
- Livre Informatique