Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 
Subtitle: Proc
Contributors: Maurice Naftalin (Editor); T. Denvir (Editor); Miquel Bertran (Editor)
Publisher: Springer
Published: November 1994
Language: eng
Format: Hardcover
Number of pages: 723
ISBN-13: 9783540585558
Subjects: Software engineering; Spreadsheet software; Logic Design; Computers - Languages / Programming; Programming Languages - General; Programming - Software Development