Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods
Subtitle: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science)
Contributors: John Fitzgerald (Editor)
Publisher: Springer
Published: June 1997
Language: eng
Format: Paperback
Number of pages: 686
ISBN-13: 9783540635338
Subjects: Mathematical theory of computation; Programming - Software Development; Software Engineering; Systems Engineering; Computers; Computers - Languages / Programming; Science/Mathematics; System design; Congresses; Methodology