Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, Paris, France, November 19 - 21, 2003 ; proceedings

Formal methods for open object-based distributed systems 6th IFIP WG 6.1 international conference, Paris, France, November 19 - 21, 2003 ; 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:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2003
Schriftenreihe:Lecture notes in computer science 2884
Schlagworte:
Electronic data processing > Congresses > Object-oriented programming (Computer science) > Konferenzschrift > Objektorientiertes Datenbanksystem > Verteiltes System > Formale Methode
Online Zugang:Einführung/Vorwort
Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:X, 292 S.
graph. Darst.
ISBN:3540204911
3-540-20491-1