Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Papers: ... Notes in Computer Science (5382), Band 5382)
von
Marcello M. Bonsangue
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-92187-5
ISBN-10: 3-540-92187-7
Springer
· 2008
