## An Introduction to Discrete Mathematics and Formal System SpecificationThis computer science textbook offers an introduction to the theory and practice of formal specification, defined as the use of discrete mathematics for describing the function of hardware and software systems. Formal specification plays a vital role, especially with regard to problem-free installation. Designed for students approaching the subject for the first time, this text develops all the required analytical and mathematical techniques. Numerous worked examples and exercises demonstrate actual software and computer systems. The book culminates with an introduction to "Z", a formal notation which is particularly useful for unambiguously specifying systems. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

COMMERCIAL SOFTWARE | 3 |

CUSTOMER REQUIREMENTS SYSTEM | 15 |

PROPOSITIONAL CALCULUS | 43 |

Copyright | |

11 other sections not shown

### Other editions - View all

An Introduction to Discrete Mathematics, Formal System Specification, and Z Darrel Ince No preview available - 1992 |

### Common terms and phrases

active archive asserts back_orders_cust back_orders_no back-order book_details book_no borrowed borrowed_books catalogue-books chemical reactor command is typed contain defined deleted displayed domain elements empty set equivalent error event example existential quantification fact file store file_name file_store formal methods has_priority in_stock induction injective function integer intersect Jones library assistant library_users malfunction mathematics modelled mon2 mon3 monitor_state(mon monitors monl natural language natural numbers normal normal-users notation objects occurs operand operator pairs paragraph parameter partial function peripheraLassoc predicate calculus premises private-files program units proof propositional calculus propositional expressions public-files quantifier query queues reactor registration number relation relational composition requirements analysis rule of inference schema sequence signature software development software system staff statement of requirements subset supp_of_part system specification system users system_users temp temperature transitive closure true tuple Universal quantification update us_no usname valve variables written