Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Contributors: Michael G. Hinchey (Editor); Jonathan P. Bowen (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 18, 1999
Language: eng
Format: Paperback
Number of pages: 400
ISBN-13: 9781852336400
Subjects: Programming languages; Software engineering; Formal methods (Computer scien; Formal Language Theory; Computers; Computers - Languages / Programming; Programming Languages - General; Computer Books: Languages; Programming - Software Development; Formal methods (Computer science); Logic Design; Computers / Programming / Software Development; Computers-Logic Design; Computers-Programming Languages - General; Computer Science
First sentence: The use of formal methods is fraught with difficulties, any one of which could cause the downfall of a project depending on their use.