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
Number of pages: 285
ISBN-13: 9780123490407
First sentence: By formal methods of software development I mean methods that exploit the power of discrete mathematics (set theory and predicate calculus).