Formal methods for open object based distributed systems : 6th IFIP WG 6.1 international conference ; proceedings

Formal methods for open object based distributed systems 6th IFIP WG 6.1 international conference ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks (BerichterstatterIn), FMOODS (BerichterstatterIn)
Weitere Verfasser: Najm, Elie (HerausgeberIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Berlin u.a. Springer 2003
Schriftenreihe:Lecture notes in computer science 2884
Schlagworte:
Konferenzschrift > Verteiltes System > Offenes Kommunikationssystem > Objektorientierung > Formale Methode
Online Zugang:Vorwort
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 292 S. : graph. Darst.
ISBN:3540204911