Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20 - 22, 2002, Enschede, The Netherlands

Formal methods for open object-based distributed systems V IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20 - 22, 2002, Enschede, The Netherlands

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks (BerichterstatterIn), FMOODS (BerichterstatterIn)
Weitere Verfasser: Jacobs, Bart (BerichterstatterIn), Rensink, Arend (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Boston, Mass. u.a. Kluwer 2002
Schriftenreihe:IFIP 81
Schlagworte:
Electronic data processing > Distributed processing > Object-oriented programming (Computer science) > Konferenzschrift > Verteiltes System > Offenes Kommunikationssystem > Objektorientierung > Formale Methode
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Publisher description
Table of contents only
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:X, 278 S
graph. Darst
25 cm
ISBN:0792376838
0-7923-7683-8