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

Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Bok · Engelsk · 2003 FMOODS 2003

Utgitt	Berlin : Springer , c2003
Omfang	X, 292 s. : ill.
Emner	Electronic data processing - Distributed processing Object-oriented programming (Computer science) Distribuert databehandling Distribuerte systemer Vis mer... Formelle metoder Objektorientert programmering Objektorienterte systemer objektorientert programmering Distribuerte systemer((NO-TrBIB)REAL003034) Formelle metoder((NO-TrBIB)REAL002404) Objektorienterte systemer((NO-TrBIB)REAL002803)
ISBN	3540204911