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

von: John Fitzgerald · Cliff B. Jones · Peter Lucas Springer Berlin Heidelberg · 1997 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN-13: 978-3-540-63533-8 ISBN-10: 3-540-63533-5