1 Ebooks tarafından Uwe Nestmann
Elie Najm & Uwe Nestmann: Formal Methods for Open Object-Based Distributed Systems
This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, Franc …
PDF
İngilizce
DRM
€57.76