Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, Band 7437)
von:
Mariëlle Stoelinga
· Ralf Pinger
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-32468-0
ISBN-10: 3-642-32468-1
Springer
· 2012
