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)

Netherlands

von Maria Alpuente

Taschenbuch

ISBN: 978-3-642-04569-1

ISBN-10: 3-642-04569-3

Springer · 2009