Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Applied mathematics

Buy Now

An Introduction to Discrete Mathematics, Formal System Specification, and Z (Paperback, 2nd Revised edition) Loot Price: R1,705

Discovery Miles 17 050

Repayment Terms: R160 pm x 12*

Add to cart

An Introduction to Discrete Mathematics, Formal System Specification, and Z (Paperback, 2nd Revised edition): D.C. Ince

An Introduction to Discrete Mathematics, Formal System Specification, and Z (Paperback, 2nd Revised edition)

D.C. Ince

Series: Oxford Applied Mathematics and Computing Science Series

(sign in to rate)

Loot Price R1,705 Discovery Miles 17 050 | Repayment Terms: R160 pm x 12*

Expected to ship within 12 - 19 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Clarendon Press
Country of origin:	United Kingdom
Series:	Oxford Applied Mathematics and Computing Science Series
Release date:	February 1993
First published:	February 1993
Authors:	D.C. Ince (Professor, Department of Computing)
Dimensions:	235 x 155 x 16mm (L x W x T)
Format:	Paperback
Pages:	296
Edition:	2nd Revised edition
ISBN-13:	978-0-19-853836-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Applied mathematics > General Promotions
LSN:	0-19-853836-7
Barcode:	9780198538363