Contributions

  • C. Neville Dean (Editor) - Contributor
  • Michael G. Hinchey (Series Editor) - Contributor

Publication

1996-09-17 - Morgan Kaufmann

Language

English

Word Count

71,250 words, Guess

Page Count

285 pages

Identifiers

and 2 more
  • Better World Books9780123490407
  • Open LibraryOL7327112M

Classifications

  • LCCQA267.3 .T43 1996

First Sentence

By formal methods of software development I mean methods that exploit the power of discrete mathematics (set theory and predicate calculus).

Subjects

Other Editions

  • Teaching and Learning Formal Methods (Library and Information Science)Morgan Kaufmann1996-09-17

Similar Books

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!