• Produktbild: Formal Methods for Open Object-based Distributed Systems
  • Produktbild: Formal Methods for Open Object-based Distributed Systems

Formal Methods for Open Object-based Distributed Systems Volume 2

189,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.06.1997

Herausgeber

Howard Bowman + weitere

Verlag

Springer Us

Seitenzahl

470

Maße (L/B/H)

23,4/15,6/2,7 cm

Gewicht

857 g

Auflage

1997

Sprache

Englisch

ISBN

978-0-412-82040-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.06.1997

Herausgeber

Verlag

Springer Us

Seitenzahl

470

Maße (L/B/H)

23,4/15,6/2,7 cm

Gewicht

857 g

Auflage

1997

Sprache

Englisch

ISBN

978-0-412-82040-3

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Methods for Open Object-based Distributed Systems
  • Produktbild: Formal Methods for Open Object-based Distributed Systems
  • Preface. Committee members and invited speakers. List of referees. Part One: Mobility and Pi-calculus. Part Two: Concurrent OO specification and programming. Part Three: Actors. Part Four: Distributed systems: ODP and CORBA (I). Part Five: OO requirements analysis and design. Part Six: Formal specification (I). Part Seven: Subtyping and inheritance. Part Eight: Distributed systems: ODP and CORBA (II). Part Nine: Formal specification (II). Index of contributors. Keyword index.