Fme '96, Industrial Benefit of Formal Methods
Subtitle: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March 18-22, ... (Lecture Notes in Computer Science)
Publisher: Springer-Verlag
Published: April 1996
Language: eng
Format: Hardcover
ISBN-13: 9780387609737
Subjects: Programming - Software Development; Software Development; Computers; Computer software; Congresses; Development; Reference