Introduction to Discrete Mathematics, Formal System Specification, and Z

ISBN-10: 0198538367

ISBN-13: 9780198538363

Edition: 2nd 1992 (Revised)

Authors: D. C. Ince
List price: $103.95 Buy it from $48.44
This item qualifies for FREE shipping

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description: 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.

New Starting from $75.10
what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Calculus 1 Online content $4.95 $1.99
Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99
Add to cart
Study Briefs
MS Word® 2010 Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $103.95
Edition: 2nd
Copyright year: 1992
Publisher: Oxford University Press, Incorporated
Publication date: 3/18/1993
Binding: Paperback
Pages: 296
Size: 6.25" wide x 9.25" long x 0.75" 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
×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×