Produktbild
Paolo (Hrsg.) Ciancarini

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

Buch

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… Mehr

CHF 289.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Fantechi, Alessandro (Hrsg.) / Gorrieri, Roberto (Hrsg.)
  • ISBN: 978-0-7923-8429-8
  • EAN: 9780792384298
  • Produktnummer: 1365933
  • Verlag: Springer Us
  • Sprache: Englisch
  • Erscheinungsjahr: 1999
  • Seitenangabe: 452 S.
  • Masse: H24.1 cm x B16.0 cm x D2.9 cm 840 g
  • Auflage: 1999
  • Abbildungen: HC runder Rücken kaschiert
  • Gewicht: 840

30 weitere Werke von Paolo (Hrsg.) Ciancarini:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.