Articles liés à Formal Methods for Distributed Processing: A Survey...

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Couverture rigide

 
9780521771849: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Synopsis

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Satisfaisant
Your purchase helps support Sri...
Afficher cet article
EUR 23,50

Autre devise

EUR 4,53 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 36,90

Autre devise

EUR 7,95 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780521168755: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Edition présentée

ISBN 10 :  0521168759 ISBN 13 :  9780521168755
Editeur : Cambridge University Press, 2011
Couverture souple

Résultats de recherche pour Formal Methods for Distributed Processing: A Survey...

Image d'archives

Bowman, Howard
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Ancien ou d'occasion Couverture rigide

Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-J-026-01603

Contacter le vendeur

Acheter D'occasion

EUR 23,50
Autre devise
Frais de port : EUR 4,53
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Ancien ou d'occasion Couverture rigide

Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. 480 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780521771849 Sprache: Englisch Gewicht in Gramm: 550. N° de réf. du vendeur 2341238

Contacter le vendeur

Acheter D'occasion

EUR 26,50
Autre devise
Frais de port : EUR 7
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bowman Howard
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. x + 480. N° de réf. du vendeur 18261403

Contacter le vendeur

Acheter neuf

EUR 36,90
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Bowman
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-60134

Contacter le vendeur

Acheter neuf

EUR 71,29
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Bowman
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-106132

Contacter le vendeur

Acheter neuf

EUR 71,29
Autre devise
Frais de port : EUR 2,85
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 6 disponible(s)

Ajouter au panier

Image d'archives

Howard Bowman
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. x + 480 1st Edition. N° de réf. du vendeur 26261393

Contacter le vendeur

Acheter neuf

EUR 79,29
Autre devise
Frais de port : EUR 7,67
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

BOWMAN
Edité par CAMBRIDGE UNIVERSITY PRESS, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. N° de réf. du vendeur CB 9780521771849

Contacter le vendeur

Acheter neuf

EUR 83,76
Autre devise
Frais de port : EUR 5,75
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 6 disponible(s)

Ajouter au panier

Image d'archives

Bowman Howard
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. x + 480 Illus. N° de réf. du vendeur 7619278

Contacter le vendeur

Acheter neuf

EUR 80,68
Autre devise
Frais de port : EUR 10,19
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

BOWMAN
Edité par CAMBRIDGE UNIVERSITY PRESS, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : URW Books Store, CASPER, WY, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. Brand New! Fast Delivery, Delivery With In 7-10 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States. N° de réf. du vendeur CBSBOOKS31766

Contacter le vendeur

Acheter neuf

EUR 81,88
Autre devise
Frais de port : EUR 12,77
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 6 disponible(s)

Ajouter au panier

Image d'archives

Howard Bowman ,
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Neuf Couverture rigide

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-139856

Contacter le vendeur

Acheter neuf

EUR 102,55
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 12 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre