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)
ISBN 10: 0792376838 ISBN 13: 9780792376835
Verlag: Springer, 2002
Neu
Hardcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In. Bestandsnummer des Verkäufers ria9780792376835_new
Inhaltsangabe:
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.
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.
Bibliografische Details
Titel: Formal Methods for Open Object-Based ...
Verlag: Springer
Erscheinungsdatum: 2002
Einband: Hardcover
Zustand: New
Beste Suchergebnisse beim ZVAB
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. Artikel-Nr. E-571-001
Gebraucht kaufen
EUR 14,99
EUR 20,50 shipping
Versand von Frankreich nach USA
Versand von Frankreich nach USA
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. Artikel-Nr. 207978
Gebraucht kaufen
EUR 31,67
EUR 25,06 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
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. Artikel-Nr. ABNR-85752
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. Artikel-Nr. 9780792376835
Neu kaufen
EUR 114,36
EUR 63,03 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Open Object-Based Distributed Systems V
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 292 Illus. Artikel-Nr. 5853579
Gebraucht kaufen
EUR 153,91
EUR 7,40 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Open Object-Based Distributed Systems V
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 292. Artikel-Nr. 183075678
Gebraucht kaufen
EUR 156,68
EUR 9,95 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar