FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... Notes in Computer Science (1313), Band 1313)

Strengthened

von: John Fitzgerald · Peter Lucas · Cliff B. Jones

Taschenbuch

ISBN-13: 978-3-540-63533-8

ISBN-10: 3-540-63533-5

Springer · 2009