Overview
Access this book
Other ways to access
Table of contents (12 chapters)
-
Introduction
-
Foundations
-
Data Type Construction
-
Algebraic Concepts
-
Specification and Correctness of Programs
Keywords
Authors and Affiliations
Bibliographic Information
Book Title: Introduction to Discrete Mathematics for Software Engineering
Authors: Tim Denvir
DOI: https://doi.org/10.1007/978-1-349-18496-5
Publisher: Red Globe Press London
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Tim Denvir 1986
Edition Number: 1
Number of Pages: IX, 309
Additional Information: Previously published under the imprint Palgrave
Topics: Discrete Mathematics, Software Engineering