FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. ... Notes in Computer Science (873), Band 873)

von: Maurice Naftalin · Miquel Bertran · Tim Denvir Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-58555-8 ISBN-10: 3-540-58555-9 Springer · 2008