Formal Methods for Open Object-Based Distributed Systems V -
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre
- 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 Formal Methods For Open Object - Based Distributed Systems V Format Relié - Livre Informatique
0 avis sur Formal Methods For Open Object - Based Distributed Systems V Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
L'italien Trash
1 avis
Occasion dès 5,00 €
-
Breakfast At Tiffany's
Neuf dès 15,10 €
Occasion dès 3,20 €
-
Hot Milk
Neuf dès 16,67 €
Occasion dès 4,00 €
-
Jörg Immendorff - I Wanted To Become An Artist
Occasion dès 6,95 €
-
Voie Express,Méthode Intensive Italien, Nathan
Occasion dès 7,80 €
-
A Little Life
1 avis
Occasion dès 9,00 €
-
L'anglais De A À Z
2 avis
Neuf dès 13,50 €
Occasion dès 6,49 €
-
The Deal
Neuf dès 24,60 €
Occasion dès 4,79 €
-
Les Thibault - Iv - L'Été 1914
Occasion dès 4,65 €
-
The Testaments
5 avis
Neuf dès 24,50 €
Occasion dès 4,43 €
-
Attachez Vos Ceintures ! - 16 Enquêtes Bilingues Pour Apprendre En S'amusant
Occasion dès 5,50 €
-
The Armour Of Light
Neuf dès 13,81 €
Occasion dès 7,80 €
-
The Adventures Of Tintin Tome 11 - The Secret Of The Unicorn
1 avis
Neuf dès 9,50 €
Occasion dès 3,76 €
-
Il Deserto Dei Tartari
Occasion dès 6,00 €
-
The Hobbit
3 avis
Neuf dès 15,58 €
Occasion dès 6,87 €
-
Niki De Saint Phalle, L'expo - 1930-2002
6 avis
Occasion dès 6,49 €
-
Geschichten Aus Dem Wiener Wald
Occasion dès 5,02 €
-
Middlemarch
Neuf dès 15,30 €
Occasion dès 7,20 €
-
The Self-Aware Universe
Neuf dès 19,30 €
Occasion dès 9,00 €
-
Das Kind In Dir Muss Heimat Finden
Neuf dès 7,85 €
Occasion dès 10,69 €
Produits similaires
Présentation Formal Methods For Open Object - Based Distributed Systems V Format Relié
- Livre Informatique
Résumé :
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
Sommaire:
Software Model Checking: The Bandera approach.- Verifying Authentication Protocol Implementations.- A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.- Formal Semantics for Interacting UML Subsystems.- A Compositional Formalism for Object Viewpoints.- Interpreting ODP Viewpoint Specification: Observations from a Case Study.- Checking Behavioural Subtypes via Refinement.- Behavioural Subtyping and Property Preservation for Active Objects.- A Formal Service Specification for HOP Based on ISO/IEC 14752.- Mobile Objects Must Move Safely.- A Theory of May Testing for Actors.- Computer-Aided Specification and Verification of Annotated Object-Oriented Programs.- Foinial Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm.- Control Flow Analysis of Mobile Ambients with Security Boundaries.- Generating Adapters for Concurrent Component Protocol Synchronisation.- A Feature Manager Approach to the Analysis of Component-Interactions.- Supporting Collaborative Design.- A Visual Modeling Framework for Distributed Object Computing.- Author Index.