Introduction to Discrete Mathematics, Formal System Specification, and Z

Name: Introduction to Discrete Mathematics, Formal System Specification, and Z
Price: 23.78 USD
Availability: InStock
ISBN: 9780198538363

ISBN-10: 0198538367

ISBN-13: 9780198538363

Edition: 2nd 1992 (Revised)

Authors: D. C. Ince

List price: $169.99

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $99.74

Marketplace

2 new & used from $23.78

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

List price: $169.99
Edition: 2nd
Copyright year: 1992
Publisher: Oxford University Press, Incorporated
Publication date: 3/18/1993
Binding: Paperback
Pages: 296
Size: 6.14" wide x 9.21" long x 0.63" tall
Weight: 1.034
Language: English



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