Understanding Formal Methods (FACIT)
Contributors: M.G. Hinchey (Translator)
Edition: 1 edition
Publisher: Springer
Published: January 17, 2003
Language: eng
Format: Paperback
Number of pages: 276
ISBN-13: 9781852332471
Subjects: Computer Programming; General Theory of Computing; Formal methods (Computer science); Formal Language Theory; Computers; Computers - Languages / Programming; Computer Books: General; Programming - Software Development; Logic Design; Machine Theory; Computers / Programming / Software Development; Computers-Machine Theory; Discrete mathematics; Formal methods; Formal specification; Mathematics / Logic; Software Engineering; System analysis; System design; Computer Science; Formal methods (Computer scien