Teaching and Learning Formal Methods (Library and Information Science)
Contributors: C. Neville Dean (Editor); Michael G. Hinchey (Series Editor)
Publisher: Morgan Kaufmann
Published: September 17, 1996
Language: eng
Format: Paperback
Number of pages: 285
ISBN-13: 9780123490407
Subjects: General Theory of Computing; Software engineering; Science/Mathematics; Computer Applications; Mathematics; Computers - Other Applications; Programming - Software Development; Study & Teaching; Miscellaneous Software; Reference - General; Computers / Programming / Software Development; Computers / Reference; Computers-Miscellaneous Software; Computers-Programming - Software Development; Engineering; Study and teaching
First sentence: By formal methods of software development I mean methods that exploit the power of discrete mathematics (set theory and predicate calculus).