Verwandte Artikel zu Formal Methods for Distributed Processing Paperback:...
Formal Methods for Distributed Processing Paperback: A Survey of Object-Oriented Approaches - Softcover
Inhaltsangabe
A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 45,31
EUR 14,67 für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Methods for Distributed Processing Paperback:...
Beispielbild für diese ISBN
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 144511
Anzahl: 7 verfügbar
Foto des Verkäufers
Formal Methods for Distributed Processing
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Bestandsnummer des Verkäufers 446928513
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521168755_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Verlag:
Cambridge University Press, 2011
ISBN 10: 0521168759
ISBN 13: 9780521168755
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 880. Bestandsnummer des Verkäufers C9780521168755
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Distributed Processing: A Survey of Object-oriented Approaches
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. reissue edition. 480 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521168759
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Verlag:
Cambridge University Press 2011-12-08, 2011
ISBN 10: 0521168759
ISBN 13: 9780521168755
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521168755
Anzahl: 10 verfügbar
Foto des Verkäufers
Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Bestandsnummer des Verkäufers 9780521168755
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Distributed Processing (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759
ISBN 13: 9780521168755
Neu
Paperback
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780521168755
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2215580245984
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Distributed Processing (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168759
ISBN 13: 9780521168755
Neu
Paperback
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Bestandsnummer des Verkäufers 9780521168755
Anzahl: 1 verfügbar