FME '96: Industrial Benefit and Advances in Formal Methods
Subtitle: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, ... (Lecture Notes in Computer Science)
Contributors: Marie-Claude Gaudel (Editor); James Woodcock (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 6, 1996
Language: eng
Format: Paperback
Number of pages: 704
ISBN-13: 9783540609735
Subjects: Software engineering; Programming - Software Development; Computers - Languages / Programming; Computers; Computer Books: Languages; Science/Mathematics; Programming Languages - General; Logic Design; Computers / Programming / General; Distributed Systems; Formal Methods; Formale Methoden; Model Checking; Modellüberprüfung; Safety-Criticl Systems; Sicherheitsrelevante Systeme; VDM Method; VDM-Methode; Verteilte Systeme; Programming - General