Formal methods for open object-based distributed systems

Formal methods for open object-based distributed systems

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks (BerichterstatterIn), International Workshop on Formal Methods for Open Object Based Distributed Systems (BerichterstatterIn)
Weitere Verfasser: Najm, Elie (HerausgeberIn), Stefani, Jean-Bernard (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London, Weinheim u.a. Chapman & Hall 1997
Ausgabe:1. ed.
Schlagworte:
Electronic data processing > Distributed processing > Object-oriented programming (Computer science) > Congresses > Konferenzschrift > Verteiltes System > Offenes Kommunikationssystem > Objektorientierung > Formale Methode
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index. - Selected papers from an international workshop (FMOODS '96), Paris, March 1996
Beschreibung:VII, 411 S
Ill
24 cm
ISBN:0412797704
0-412-79770-4