FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... Notes in Computer Science (1051), Band 1051)

von: James Woodcock · Marie-Claude Gaudel Taschenbuch Details (Deutschland) ISBN: 978-3-540-60973-5 ISBN-10: 3-540-60973-3 Springer · 2008