An Introduction to Discrete Mathematics and Formal System Specification
This 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.
CUSTOMER REQUIREMENTS SYSTEM
12 other sections not shown
Other editions - View all
active archive asserts back_orders_cust back_orders_no back-order book_no borrowed borrowed_books catalogue-books chemical reactor command is typed contain contradiction 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 on_line operand operator pairs paragraph parameter part_nos partial function peripheral-assoc predicate calculus premises private-files program units proof propositional calculus propositional expressions quantifier query queues reactor registration number relation relational composition requirements analysis rule of inference schema sequence shut-down signature software development software system staff statement of requirements subset supp_of_part system specification system users system_users temperature transitive closure true tuple update us_no usname valve variables written