Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science, Band 5596)
von:
Darren Cofer ·
Alessandro Fantechi
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-03239-4
ISBN-10: 3-642-03239-7
Springer
· 2009
