Software Engineering Mathematics.
Title:
Software Engineering Mathematics.
Author:
Woodcock, Janet.
ISBN:
9781482267983
Personal Author:
Physical Description:
1 online resource (303 pages)
Contents:
Title -- Copyright -- Contents -- Preface -- Chapter 1. Formal Systems -- Chapter 2. Propositional Calculus -- Chapter 3. Predicate Calculus -- Chapter 4. Theories -- Chapter 5. Set Theory -- Chapter 6. Relations -- Chapter 7. Functions -- Chapter 8. Sequences -- Chapter 9. Case Study -- Chapter 10. Case Study -- Chapter 11. Algebras -- Chapter 12. Formal Methods -- Index -- Glossary.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Subject Term:
Genre:
Added Author:
Electronic Access:
Click to View