Formal Methods for Components and Objects
von
Marcello M. Bonsangue,Stefan Hallerstede Frank S. De Boer
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-17072-0
ISBN-10: 3-642-17072-2
Springer
· 2011