Articoli correlati a Formal Methods for Distributed Processing: A Survey...
Sinossi
A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.
Contenuti
Preface; Part I. Object-Oriented Distributed Systems: 1. Issues in distributed systems P. F. Linington; 2. Distributed systems, an ODP perspective P. F. Linington; 3. Issues in formal methods H. Bowman and J. Derrick; Part II. Specification Notations: 4. Finite state machine based: SDL R. O. Sinnott and D. Hogrefe; 5. Process calculi: E-LOTOS T. Robles, G. Huecas, J. Quemada, A. Verdejo and L. F. Llana-Dìaz; 6. State-based approaches: from Z to object-Z G. Smith; 7. The united modelling language S. Kent; Part III. Dynamic Reconfiguration: 8. Actors: a model for reasoning about open distributed systems G. A. Agha, P. Thati and R. Ziaei; 9. π-calculi P. Sewell; 10. Mobile mabients l. Cardelli and A. D. Gordon; Part IV. Subtyping: 11. Subtyping in distributed systems J. Indulska; 12. Behavioural subtyping using invariants and constraints B. H. Liskov and J. M. Wing; 13. Behavioural typing for objects and process calculi E. Najm, A. Nimour and J-B. Stefani; Part V. Concurrent OO Language: 14. Reflections in concurrent object-oriented languages H. Masuhara and A. Yonezawa; 15. Inheritance in concurrent objects C. Laneve; Part VI. Nonfunctional Requirements: 16. Multimedia in the E-LOTOS process algebra G. Leduc; 17. Specifying and analysing multimedia systems L. Blair and G. Blair; Part VII. Development Architectures: 18. Piccola - a small composition language F. Achermann, M. Lumpe, J.-G. Schneider and O. Nierstrasz; 19. Specification architectures K. J. Turner and R. O. Sinnott; 20. Viewpoints modelling H. Bowman and J. Derrick; Indices.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 34,68
EUR 7,77 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Formal Methods for Distributed Processing: A Survey...
Foto dell'editore
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editore:
Cambridge University Press, 2001
ISBN 10: 0521771846
ISBN 13: 9780521771849
Antico o usato
Rilegato
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo Z1-J-026-01603
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal methods for distributed processing. A survey of object-oriented approaches.
Editore:
Cambridge, Cambridge University Press, 2001
ISBN 10: 0521771846
ISBN 13: 9780521771849
Antico o usato
Rilegato
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 2341238
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Distributed Processing
Editore:
Cambridge University Press CUP, 2001
ISBN 10: 0521771846
ISBN 13: 9780521771849
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. x + 480 1st Edition. Codice articolo 26261393
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Distributed Processing
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. x + 480 Illus. Codice articolo 7619278
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Distributed Processing
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. x + 480. Codice articolo 18261403
Quantità: 1 disponibili
Foto dell'editore
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo ABNR-60134
Quantità: 2 disponibili
Foto dell'editore
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-106132
Quantità: 6 disponibili
Foto dell'editore
Formal Methods For Distributed Processing A Survey Of Object-Oriented Approaches (Hb 2001)
Da: SMASS Sellers, IRVING, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo ASNT3-60134
Quantità: 2 disponibili
Foto dell'editore
FORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo CBS 9780521771849
Quantità: 6 disponibili
Foto dell'editore
FORMAL METHODS FOR DISTRIBUTED PROCESSING A SURVEY OF OBJECT-ORIENTED APPROACHES (HB 2001)
Da: URW Books Store, CASPER, WY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo CBSBOOKS31766
Quantità: 6 disponibili