Formal Methods for Industrial Critical Systems: 14th International Workshop, F.M.I.C.S. 2009, Eindhoven, The Netherlands, November 2-3, 2009, ... Notes in Computer Science, Band 5825)
von
Maria Alpuente
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-04569-1
ISBN-10: 3-642-04569-3
Springer
· 2009