Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science, Band 8718)
von:
Frédéric Lang ·
Francesco Flammini
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-319-10701-1
ISBN-10: 3-319-10701-1
Springer
· 2014
