Verwandte Artikel zu Formal Methods for Open Object-Based Distributed Systems...
Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology) - Hardcover
Reseña del editor
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
- Formal methods;
- Distributed systems;
- Object-based technology.
Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.
This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2002
- ISBN 10 0792376838
- ISBN 13 9780792376835
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten292
Neu kaufen
Diesen Artikel anzeigen
EUR 101,20
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Formal Methods for Open Object-Based Distributed Systems...
Beispielbild für diese ISBN
Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Open Object-
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-571-001
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based . Information and Communication Technology, 81)
Anbieter: Prior Books Ltd, Cheltenham, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Like New. First Edition. Publisher's hardback in nearly new condition: firm and square, strong joints, sharp corners, no bumps. Contents crisp, tight and clean; no pen-marks, save a previous owner's name at the endpaper. Not from a library so no such stamps or labels. Looks unread. Thus a tidy book in very presentable condition. Bestandsnummer des Verkäufers 207978
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods For Open Object-based Distributed Systems V
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-85752
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods For Open Object-based Distributed Systems V
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-125309
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190184680
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780792376835_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods for Open Object-Based Distributed Systems V
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods Distributed systems Object-based technology.Such a convergence is represen. Bestandsnummer des Verkäufers 5970346
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002. Bestandsnummer des Verkäufers 9780792376835
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
Print-on-DemandAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 443. Bestandsnummer des Verkäufers C9780792376835
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Open Object-Based Distributed Systems V
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 292. Bestandsnummer des Verkäufers 263075668
Anzahl: 1 verfügbar