Del 13910Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman, António RavaraHäftad773 kr