Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science (4346), Band 4346)
von
Lubos Brim
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-70951-0
ISBN-10: 3-540-70951-7
Springer
· 2007
