Montant total (1 article articles) :
Destination de la commande :
formal methods distributed processing (40 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (40)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (35)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (2)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (6)
- Sans impressions à la demande (29)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : Labyrinth Books, Princeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,48
Expédition à EUR 3,94
Expédition nationale : Etats-UnisQuantité disponible : 6 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,22
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : 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.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,74
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 67,50
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal methods for distributed processing. A survey of object-oriented approaches.
Langue: anglais
Edité par Cambridge, Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 26,50
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. 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.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 68,57
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,31
Expédition à EUR 5,87
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,49
Expédition à EUR 12,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,62
Expédition à EUR 14,06
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press 2011-12-08, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,42
Expédition à EUR 18,18
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 75,57
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 850. . 2011. Reissue. paperback. . . . .
-
Formal Methods for Distributed Processing
Langue: anglais
Edité par Cambridge University Press CUP, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 87,28
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. x + 480 1st Edition.
-
Formal Methods for Distributed Processing
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 85,53
Expédition à EUR 7,63
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. x + 480 Illus.
-
Formal Methods for Distributed Processing
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 87,83
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. x + 480.
-
Formal Methods For Distributed Processing
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 103,83
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Formal Methods for Distributed Processing
Langue: anglais
Edité par Cambridge University Press CUP, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 100,26
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 492.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 94,45
Expédition à EUR 9,20
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 25. Weight in Grams: 850. . 2011. Reissue. paperback. . . . . Books ship from the US and Ireland.
-
Formal Methods For Distributed Processing
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 104,66
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2011
ISBN 10 : 0521168759 ISBN 13 : 9780521168755
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 87,12
Expédition à EUR 64,58
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 172,84
Expédition à EUR 14,06
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 191,26
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 175,29
Expédition à EUR 29,34
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2002
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 194,73
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UK; UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . .
-
Edition internationaleFORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
Langue: anglais
Edité par CAMBRIDGE UNIVERSITY PRESS, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 212,07
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 6 disponible(s)
Ajouter au panierEtat : New. Brand New! Fast Delivery This is an International 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 6-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.
-
Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 228,53
Expédition à EUR 14,06
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 248,87
Expédition à EUR 9,20
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Editor(s): Bowman, Howard; Derrick, John. Num Pages: 492 pages, black & white illustrations. BIC Classification: UK; UMN. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 1015. . 2002. Illustrated. hardcover. . . . . Books ship from the US and Ireland.
-
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 255,40
Expédition à EUR 17,61
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 480 pages. 10.25x7.25x1.25 inches. In Stock.
-
Formal Methods for Distributed Processing
Langue: anglais
Edité par Cambridge University Press, 2001
ISBN 10 : 0521771846 ISBN 13 : 9780521771849
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 234,38
Expédition à EUR 65,56
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 297,39
Expédition à EUR 29,34
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Formal Methods for Distributed Processing: A Survey of Object-oriented Approaches
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,52
Expédition à EUR 14,67
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. reissue edition. 480 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand.
