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)

Applications

von Lubos Brim

Taschenbuch

ISBN-13: 978-3-540-70951-0

ISBN-10: 3-540-70951-7

Springer · 2007