Formal Methods for Open Object-Based Distributed Systems -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
3,74 €
Occasion · Très Bon État
Option Express : Chez vous le 26/05 (?)
-
Livraison : 3,29 €
Gratuits dès 15,00 € chez ce vendeur - Livré entre le 26 et le 29 mai
Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Voir le détail de l'annonce -
Livraison : 3,29 €
-
71,50 €
Produit Neuf
Ou 17,88 € /mois
- Livraison à 0,01 €
- Livré entre le 28 mai et le 6 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540348931_dbm
Voir le détail de l'annonce -
101,19 €
Produit Neuf
Ou 25,30 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 16 juin
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.
Voir le détail de l'annonce
- 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 Format Broché - Livre Informatique
0 avis sur Formal Methods For Open Object - Based Distributed Systems Format Broché - 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,56 €
Occasion dès 4,00 €
-
Collins English Dictionary - Edition Spéciale
2 avis
Neuf dès 9,95 €
Occasion dès 3,00 €
-
Colour Me Happy!
Occasion dès 3,00 €
-
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 €
-
Le Vocabulaire Anglais Au Baccalauréat - 22, 16, Terminales, Avec Exercices
Occasion dès 2,99 €
-
The Adventures Of Tintin Tome 11 - The Secret Of The Unicorn
1 avis
Neuf dès 9,50 €
Occasion dès 3,76 €
-
La Femme
Occasion dès 2,50 €
-
The Starless Sea
1 avis
Neuf dès 12,50 €
Occasion dès 2,70 €
-
Mermaid Project - Tome 2
2 avis
Neuf dès 9,90 €
Occasion dès 3,00 €
-
Geschichten Aus Dem Wiener Wald
Occasion dès 5,02 €
-
4321
3 avis
Occasion dès 4,10 €
-
Oma
2 avis
Occasion dès 2,10 €
-
Moby-Dick
Neuf dès 18,26 €
Occasion dès 5,00 €
-
Le Bouquin De L'humour - Suivi De Sky My Husband ! Ciel Mon Mari !
18 avis
Neuf dès 30,00 €
Occasion dès 2,51 €
-
La Photo: Pétain-Mitterrand : L'histoire Secrète Du Document Qui Aurait Pu Bousculer La Ve République
2 avis
Neuf dès 21,00 €
Occasion dès 2,90 €
Produits similaires
Présentation Formal Methods For Open Object - Based Distributed Systems Format Broché
- Livre Informatique
Sommaire:
Invited Speakers.- Security Issues in Service Composition.- Separating Distribution from Coordination and Computation as Architectural Dimensions.- The Bisimulation Proof Method: Enhancements and Open Problems.- Regular Papers.- An Approach to Quality Achievement at the Architectural Level: AQUA.- Bounded Analysis and Decomposition for Behavioural Descriptions of Components.- Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.- Synchronizing Behavioural Mismatch in Software Composition.- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.- Temporal Superimposition of Aspects for Dynamic Software Architecture.- Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.- Transformation Laws for UML-RT.- Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.- Generating Instance Models from Meta Models.- KM3: A DSL for Metamodel Specification.- Defining Object-Oriented Execution Semantics Using Graph Transformations.- Type-Safe Runtime Class Upgrades in Creol.- Abstract Interface Behavior of Object-Oriented Languages with Monitors.- Mobility Mechanisms in Service Oriented Computing.- Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service....
Détails de conformité du produit
Personne responsable dans l'UE