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