Tim A. C. Willemse · 2 obras en el catálogoObrasFFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and SystemsSSoftware Engineering and Formal MethodsSoftware Engineering and Formal Methods
FFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and Systems