The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR003060389

Contact seller

Report this item

Bibliographic Details

Title: An Introduction to Discrete Mathematics and ...

Publisher: Oxford University Press

Publication Date: 1988

Binding: Hardback

Condition: Very Good

About this title

Synopsis:

This computer science textbook offers an introduction to the theory and practice of formal specification, defined as the use of discrete mathematics for describing the function of hardware and software systems. Formal specification plays a vital role, especially with regard to problem-free installation. Designed for students approaching the subject for the first time, this text develops all the required analytical and mathematical techniques. Numerous worked examples and exercises demonstrate actual software and computer systems. The book culminates with an introduction to "Z", a formal notation which is particularly useful for unambiguously specifying systems.

"About this title" may belong to another edition of this title.

Store Description

In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we?re helping charities increase revenue and reduce waste through re-commerce.

Visit Seller's Storefront

Seller's business information

World of Books Ltd
Mulberry House, Woods Way Trading Estate, Goring-By-Sea, BN12 4QY, United Kingdom

Terms of Sale:

WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.

Shipping Terms:

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to An Introduction to Discrete Mathematics and Formal...

An Introduction to Discrete Mathematics and Formal System Specification (Applied Mathematics & Computing Science S.)

Ince, Darrel

Used - Hardcover

Seller's business information