EUR 71,83 + EUR 2,99 Livraison
Une version moins chère de ce livre est disponible
Economisez EUR 45,24 (63%) avec la version Kindle de cet ouvrage.
EUR 26,59
Prix Kindle
EUR 71,83
Prix du livre papier

Economisez <span class="a-color-price">EUR 45,24 (63%)</span> avec la version Kindle de cet ouvrage. Lisez dès maintenant avec l'appli Kindle gratuite.
Disponible sur iOS, Android, Mac & PC.
  • Tous les prix incluent la TVA.
Il ne reste plus que 3 exemplaire(s) en stock.
Expédié et vendu par Delhi_Book_Store.
EUR 71,83 + EUR 2,99 Livraison
Autres vendeurs sur Amazon
Ajouter au panier
EUR 99,44
Livraison à EUR 0,01 sur les livres et gratuite dès EUR 25 d'achats sur tout autre article Détails
Vendu par : Amazon
Vous l'avez déjà ? Vendez sur Amazon
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir les 3 images

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (Anglais) Relié – 22 octobre 2001


Voir les 3 formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Format Kindle
Relié
EUR 71,83
EUR 71,83 EUR 3,64
click to open popover

Offres spéciales et liens associés


Description du produit

Présentation de l'éditeur

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Il n'y a pour l'instant aucun commentaire client


Évaluer ce produit

Partagez votre opinion avec les autres clients

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?