Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science (4916), Band 4916)
von
Stefan Leue
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-79706-7
ISBN-10: 3-540-79706-8
Springer
· 2008
