Sprache: Englisch
Verlag: Dordrecht ; Boston, Mass. ; Lancaster ; Tokyo : Reidel, 1986
ISBN 10: 9027722307 ISBN 13: 9789027722300
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
gebundene Ausgabe. Zustand: Gut. 231 S. Buchrücken und Einbandkanten sind leicht bestoßen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. ENGLISCH. Sprache: Englisch Gewicht in Gramm: 600.
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Zustand: NEW.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Brook Bookstore, Milano, MI, Italien
Zustand: new.
Sprache: Deutsch
Verlag: Dordrecht ; Boston, Mass. ; Lancaster ; Tokyo : Reidel, 1986
Gr.-8°, Hardcover. Zustand: Sehr gut. 231 Seiten, Abb. Ausgetragenes Bibliotheksexemplar, Buch ist in einem sehr guten Zustand, Papier in sehr gutem Zustand. B07-03-03D Sprache: Deutsch Gewicht in Gramm: 576.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 223,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 223,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Taschenbuch. Zustand: Neu. Formal Methods for Open Object-Based Distributed Systems | IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy | Paolo Ciancarini (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9781475752663 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.