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!

Keine Ergebnisse!