An Introduction to Discrete Mathematics, Formal System Specification, and Z
Author:   Ince
Publisher:   Oxford University Press
Edition:   2nd Revised edition
ISBN:  

9780198538363


Pages:   296
Publication Date:   04 February 1993
Format:   Paperback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $105.95 Quantity:  
Add to Cart

Share |

An Introduction to Discrete Mathematics, Formal System Specification, and Z


Overview

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of requirement analysis and discrete mathematics that are needed. Throughout the book are numerous worked examples and exercises which include many real examples of software and computer systems.

Full Product Details

Author:   Ince
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Edition:   2nd Revised edition
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.50cm
Weight:   0.429kg
ISBN:  

9780198538363


ISBN 10:   0198538367
Pages:   296
Publication Date:   04 February 1993
Audience:   College/higher education ,  Tertiary & Higher Education
Format:   Paperback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

Commercial software development; Customer requirements and specification; Propositional calculus; Predicate calculus; Set theory; Relations; Functions and sequences; The specification language Z; Operations and objects in Z; The Z schema calculus; Some small Z examples; A large Z specification; Z and design.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now