Formal Methods for Components and Objects

Components

von Marcello M. Bonsangue,Stefan Hallerstede Frank S. De Boer

Taschenbuch

ISBN-13: 978-3-642-17072-0

ISBN-10: 3-642-17072-2

Springer · 2011