Articles liés à Formal Methods for Distributed Processing: A Survey...
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Couverture rigide
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 neuf
Afficher cet article
EUR 71,08
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Formal Methods for Distributed Processing: A Survey...
Image d'archives
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
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
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
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal methods for distributed processing. A survey of object-oriented approaches.
Edité par
Cambridge, Cambridge University Press, 2001
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
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
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
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
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
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
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
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
Quantité disponible : 6 disponible(s)
Image d'archives
Formal Methods for Distributed Processing
Edité par
Cambridge University Press CUP, 2001
ISBN 10 : 0521771846
ISBN 13 : 9780521771849
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. x + 480 1st Edition. N° de réf. du vendeur 26261393
Quantité disponible : 1 disponible(s)
Image d'archives
FORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
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
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
Quantité disponible : 6 disponible(s)
Image d'archives
Formal Methods for Distributed Processing
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
Etat : New. pp. x + 480 Illus. N° de réf. du vendeur 7619278
Quantité disponible : 1 disponible(s)
Image d'archives
FORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
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
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
Quantité disponible : 6 disponible(s)
Image d'archives
Formal Methods For Distributed Processing
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
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
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods For Distributed Processing
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
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-106133
Quantité disponible : 1 disponible(s)