An Introduction to Discrete Mathematics, Formal System Specification, and Z
2 Revised edition
by
Ince
Book Details
Format
Paperback / Softback
ISBN-10
0198538367
ISBN-13
9780198538363
Edition
2 Revised edition
Publisher
Oxford University Press
Imprint
Clarendon Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Feb 4th, 1993
Print length
296 Pages
Weight
430 grams
Dimensions
23.50 x 15.60 x 1.60 cms
Product Classification:
Applied mathematicsMathematical theory of computation
Ksh 10,050.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
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. This textbook is an introduction to both the theory and practice of formal specification.
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.
Get An Introduction to Discrete Mathematics, Formal System Specification, and Z by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.